##// END OF EJS Templates
ignore shift keydown...
MinRK -
Show More
@@ -95,6 +95,9 b' var IPython = (function (IPython) {'
95 // Intercept escape at highest level to avoid closing
95 // Intercept escape at highest level to avoid closing
96 // websocket connection with firefox
96 // websocket connection with firefox
97 event.preventDefault();
97 event.preventDefault();
98 } else if (event.which === key.SHIFT) {
99 // ignore shift keydown
100 return true;
98 }
101 }
99 if (event.which === key.UPARROW && !event.shiftKey) {
102 if (event.which === key.UPARROW && !event.shiftKey) {
100 var cell = that.get_selected_cell();
103 var cell = that.get_selected_cell();
General Comments 0
You need to be logged in to leave comments. Login now