##// END OF EJS Templates
use alternate method to collapse pager from notebook.js as suggested by @Carreau
Erik Tollerud -
Show More
@@ -130,7 +130,7 b' var IPython = (function (IPython) {'
130 } else if (event.which === key.ESC) {
130 } else if (event.which === key.ESC) {
131 // Intercept escape at highest level to avoid closing
131 // Intercept escape at highest level to avoid closing
132 // websocket connection with firefox
132 // websocket connection with firefox
133 that.element.trigger('collapse_pager');
133 IPython.pager.collapse();
134 event.preventDefault();
134 event.preventDefault();
135 } else if (event.which === key.SHIFT) {
135 } else if (event.which === key.SHIFT) {
136 // ignore shift keydown
136 // ignore shift keydown
General Comments 0
You need to be logged in to leave comments. Login now