Add bookmarking and Jump-to
-
I love your plugin. And I would like to make a feature request.
Would love to be able to create user ‘bookmarks’ for jumping to particular positions within the source file.
Idea:
User prescribes and inserts bookmarks within their source files using comments formatted in a particular way.
When a file is loaded it is parsed and a pulldown menu is offered on right of edit window with bookmark labels (how ever many user has set) listed. User can use this menu to jUMP to line number position where this bookmark comment appears.
Each file would have its own Bookmark ‘sets’.
As not everyone will use this feature we don’t want overheads parsing files for sake of it. SO suggest plugin look at first line of loaded file for comment saying
"Bookmarkspresent=true"
The Bookmark would be user inserted and created by appropriate comment format for filetype. Then content of comment would meet prescribed format set by you, e.g.:
CSS file: e.g. /* BM==Desktop 1100px== */ BM := means I am a Bookmark ==Bookmark label name==
Thanks for giving this idea some consideration.
- The topic ‘Add bookmarking and Jump-to’ is closed to new replies.