Hi!
It would be good to have an edit box on top of the bookmarks panel.
This would significantly enhance navigation in documents with large set of bookmarks. Optionally the edit-box could be extended with a check-box to limit the operation to user defined or non user defined bookmarks.
Thanks!
It would be good to have an edit box on top of the bookmarks panel.
- When text is entered into this filed a drop-down box should list similar bookmarks.
- Or any text entered into this filed should filter visible bookmarks.
This would significantly enhance navigation in documents with large set of bookmarks. Optionally the edit-box could be extended with a check-box to limit the operation to user defined or non user defined bookmarks.
Thanks!