David Robson f8faa8902b Editor must be focused before allowing certain keyboard shortcuts. ... closes #4253 - checked for the CodeMirror-focused class on the CodeMirror div - used length to determine whether CodeMirror-focused has been added - determines whether the editor has been focused on		2014-11-02 09:50:42 +00:00
..
admin	Editor must be focused before allowing certain keyboard shortcuts.	2014-11-02 09:50:42 +00:00