##// END OF EJS Templates
remove unused variable
Matthias BUSSONNIER -
Show More
@@ -178,7 +178,6 define([
178 * @return {Boolean} `true` if CodeMirror should ignore the event, `false` Otherwise
178 * @return {Boolean} `true` if CodeMirror should ignore the event, `false` Otherwise
179 */
179 */
180 Cell.prototype.handle_codemirror_keyevent = function (editor, event) {
180 Cell.prototype.handle_codemirror_keyevent = function (editor, event) {
181 var that = this;
182 var shortcuts = this.keyboard_manager.edit_shortcuts;
181 var shortcuts = this.keyboard_manager.edit_shortcuts;
183
182
184 // if this is an edit_shortcuts shortcut, the global keyboard/shortcut
183 // if this is an edit_shortcuts shortcut, the global keyboard/shortcut
General Comments 0
You need to be logged in to leave comments. Login now