##// END OF EJS Templates
Force tabs to space in CM
Matthias BUSSONNIER -
Show More
@@ -41,6 +41,7 b' var IPython = (function (IPython) {'
41 mode: 'python',
41 mode: 'python',
42 theme: 'ipython',
42 theme: 'ipython',
43 readOnly: this.read_only,
43 readOnly: this.read_only,
44 extraKeys: {"Tab": "indentMore","Shift-Tab" : "indentLess"},
44 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this)
45 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this)
45 });
46 });
46 input.append(input_area);
47 input.append(input_area);
@@ -35,6 +35,7 b' var IPython = (function (IPython) {'
35 value: this.placeholder,
35 value: this.placeholder,
36 readOnly: this.read_only,
36 readOnly: this.read_only,
37 lineWrapping : true,
37 lineWrapping : true,
38 extraKeys: {"Tab": "indentMore","Shift-Tab" : "indentLess"},
38 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this)
39 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this)
39 });
40 });
40 // The tabindex=-1 makes this div focusable.
41 // The tabindex=-1 makes this div focusable.
General Comments 0
You need to be logged in to leave comments. Login now