Bookmarks can be created in user-defined hierarchies to jump instantly to any part of the document. Bookmarks can also point to separate Jedit X documents.
Flexible Bookmarks
© Artman21 Inc. 2017
Bookmarks can be created in user-defined hierarchies to jump instantly to any part of the document. Bookmarks can also point to separate Jedit X documents.