User manual on bookmarks is outdated - you can add more than 3 bookmarks

  • Henry Smith
    Henry Smith

    The user manual says one can use 3 bookmarks for each file, but as far as I understood it, it's 9 bookmarks but only the first 3 get displayed.

    Also, I just discovered %TODO. It rocks.

  • 3 are displayed, a total of 10 can directly accessed via ctrl+number.

    Further more general bookmarks are available without limitation.