Closed zjeffer closed 1 year ago
In addition to using Esc to leave full screen mode, I'm thinking it would probably make sense to use F11 as well, no?
Never mind, this PR already does that. 🤡
Can you please add these new shortcuts to docs/keyboard_shortcuts.md
? Otherwise LGTM.
(Partly) fixes #568