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

2014-07-09
2014-07-09
  • Henry Smith
    Henry Smith
    2014-07-09

    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.