junrrein/pdfslicer

Provide F10 keyboard shortcut to toggle main menubutton

nekohayo opened this issue · 0 comments

Most/all GNOME apps use the de-facto standard F10 keyboard shortcut for toggling the main menubutton, so if possible, this app should as well. This is also documented in https://developer.gnome.org/hig/stable/keyboard-input.html.en