##// END OF EJS Templates
Clean up accidentally introduced hard tabs in JS code.
Fernando Perez -
Show More
1 NO CONTENT: modified file
NO CONTENT: modified file
@@ -90,7 +90,7 b' var IPython = (function (IPython) {'
90 } else if (event.keyCode === 76 && event.ctrlKey && event.shiftKey
90 } else if (event.keyCode === 76 && event.ctrlKey && event.shiftKey
91 && event.type == 'keydown') {
91 && event.type == 'keydown') {
92 // toggle line numbers with Ctrl-Shift-L
92 // toggle line numbers with Ctrl-Shift-L
93 this.toggle_line_numbers()
93 this.toggle_line_numbers();
94 }
94 }
95 else {
95 else {
96 // keypress/keyup also trigger on TAB press, and we don't want to
96 // keypress/keyup also trigger on TAB press, and we don't want to
1 NO CONTENT: modified file
NO CONTENT: modified file
1 NO CONTENT: modified file
NO CONTENT: modified file
@@ -278,5 +278,3 b''
278 </body>
278 </body>
279
279
280 </html>
280 </html>
281
282
General Comments 0
You need to be logged in to leave comments. Login now