fixup for CodeMirror failing on keyMap=""
This should not happen *normally* but a user may edit chrome.storage manually etc.
This commit is contained in:
parent
7084dd1223
commit
5a61ac2f18
5
edit.js
5
edit.js
|
@ -131,6 +131,11 @@ function initCodeMirror() {
|
||||||
var CM = CodeMirror;
|
var CM = CodeMirror;
|
||||||
var isWindowsOS = navigator.appVersion.indexOf("Windows") > 0;
|
var isWindowsOS = navigator.appVersion.indexOf("Windows") > 0;
|
||||||
|
|
||||||
|
// CodeMirror miserably fails on keyMap="" so let's ensure it's not
|
||||||
|
if (!prefs.get('editor.keyMap')) {
|
||||||
|
prefs.reset('editor.keyMap');
|
||||||
|
}
|
||||||
|
|
||||||
// default option values
|
// default option values
|
||||||
Object.assign(CM.defaults, {
|
Object.assign(CM.defaults, {
|
||||||
mode: 'css',
|
mode: 'css',
|
||||||
|
|
Loading…
Reference in New Issue
Block a user