59
59
else if(chars.indexOf('|'+charCode+'|')!=-1||keyCode==13) { // syntax highlighting
60
60
top.setTimeout(function(){CodePress.syntaxHighlight('generic');},100);
65
67
else if(keyCode==46||keyCode==8) { // save to history when delete or backspace pressed
66
68
CodePress.actions.history[CodePress.actions.next()] = editor.innerHTML;