Thanks. True, selecting via the menu letter also works and this is what I'm using. Just consider adding this to the shortcut customization list as a future improvement. Basic rule should be, that for everything in the menu there should be an option to assign a shortcut.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.