2 Matching Annotations
  1. May 2022
    1. Open Bookmark Manager by pressing Ctrl + Shift + O . Three options: Search all bookmarks (just start typing), press Tab twice and select the desired bookmark with the arrow keys.

      alternative when we can't have shortcut to bookmarks