more more mixing of tab and spaces with codemirror
This commit is contained in:
@@ -1 +1 @@
|
||||
Version 2.0.8 (2012-09-09 14:32:21) stable
|
||||
Version 2.0.8 (2012-09-09 14:58:46) stable
|
||||
|
||||
@@ -138,7 +138,8 @@ jQuery(document).ready(function(){
|
||||
theme: "web2py",
|
||||
tabMode: "shift",
|
||||
lineWrapping: true,
|
||||
extraKeys: { "Ctrl-S": function(instance) {doClickSave();} },
|
||||
extraKeys: { "Ctrl-S": function(instance) {doClickSave();},
|
||||
"Tab": "indentMore"},
|
||||
{{if TEXT_EDITOR_KEYBINDING == 'emacs':}}keyMap: "emacs",{{pass}}
|
||||
matchBrackets: true
|
||||
});
|
||||
|
||||
Reference in New Issue
Block a user