Closing pager with keyboard in modal UI

[rabbitmcrabbit]

The modal UI is fantastic, and for the first time I'm comfortable using the notebook as a part of my daily coding. However, the switch to the modal UI appears to have lost the ability to close the pager from the keyboard. Closing the pager currently requires frustratingly fine mouse-work. If this functionality is still available from the keyboard somehow, it should be listed amongst the shortcuts.

[ellisonbg]

I will have a look at this.

[ellisonbg]

Wow issue #5000 !!! Too bad don't have any prizes to offer :)

[ellisonbg]

We will discuss this at the dev meeting. But a simple solution is to define one yourself by putting this in your custom.js:

IPython.keyboard_manager.edit_shortcuts.add_shortcut('ctrl+p',function () {
    IPython.pager.toggle();
});