Merge pull request #657 from jdfreder/escapekludge

Escape: Close pager if open otherwise unmark all
Matthias Bussonnier 10 years ago
commit 4db7b2749c

@ -437,7 +437,18 @@ define(function(require){
$('.header-bar').toggle();
events.trigger('resize-header.Page');
}
}
},
'close-pager-or-unmark-all-cells': {
help : 'close the pager or unmark all cells',
handler : function(env) {
// Collapse the page if it is open, otherwise unmark all.
if (env.pager && env.pager.expanded) {
env.pager.collapse();
} else {
env.notebook.unmark_all_cells();
}
}
},
};
/**

@ -96,7 +96,7 @@ define([
'i,i' : 'jupyter-notebook:interrupt-kernel',
'0,0' : 'jupyter-notebook:confirm-restart-kernel',
'd,d' : 'jupyter-notebook:delete-cell',
'esc': 'jupyter-notebook:close-pager',
'esc': 'jupyter-notebook:close-pager-or-unmark-all-cells',
'up' : 'jupyter-notebook:select-previous-cell',
'k' : 'jupyter-notebook:select-previous-cell',
'j' : 'jupyter-notebook:select-next-cell',

Loading…
Cancel
Save