Open stevejpurves opened 1 year ago
btw my first time using the extension this week and loving it 😍 thanks @bollwyvl & @nthiery!
This can be added on your own through the Jupyter Hub keyboard shortcut settings by adding this in the JSON Settings Editor window.
{
"args": {},
"command": "deck:stop",
"keys": [
"Escape"
],
"selector": ".jp-Deck"
},
Elevator Pitch
When in deck mode I can't get back to JupyterLab's normal interface without using my mouse. I'd love to just hit escape (was the first thing I tried at any rate)
Motivation
It's easy to navigate the presentation using the keyboard. Being able to jump out back out of deck mode with a shortcut is convenient. I couldn't find mention of that shortcut in the docs.
Design Ideas
Enable
esc
as a shortcut for quitting deck mode?