##// END OF EJS Templates
Merge pull request #2312 from adamgd/master...
Brian E. Granger -
r8828:c8270060 merge
parent child Browse files
Show More
@@ -71,7 +71,8 var IPython = (function (IPython) {
71 theme: 'ipython',
71 theme: 'ipython',
72 readOnly: this.read_only,
72 readOnly: this.read_only,
73 extraKeys: {"Tab": "indentMore","Shift-Tab" : "indentLess",'Backspace':"delSpaceToPrevTabStop"},
73 extraKeys: {"Tab": "indentMore","Shift-Tab" : "indentLess",'Backspace':"delSpaceToPrevTabStop"},
74 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this)
74 onKeyEvent: $.proxy(this.handle_codemirror_keyevent,this),
75 matchBrackets: true
75 });
76 });
76 input.append(input_area);
77 input.append(input_area);
77 var output = $('<div></div>');
78 var output = $('<div></div>');
General Comments 0
You need to be logged in to leave comments. Login now