Note that all keyboard shortcuts are listed in Help->Keyboard Shortcuts. Also note that clicking in the relevant margin sets a marker as documented, and Ctrl-m is also documented there.

However I agree that almost all actions should have a menu as well as a keyboard shortcut.

Next/previous marker items are in "Search" since they "search" for the next/previous marker, or consider it as the menu with all the cursor positioning commands.

Probably best in "Search" next to the go to marker items to keep them together, and since its not actually an "Edit" function and since `the "Edit" menu is larger already.

Pull requests are welcome.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.