EASY JUMPS FOR WRITEMONKEY
Version: 2.0, requires Writemonkey 18.104.22.168 or higher
Release date: September 8th 2014
Lightweight substitution for regular Jumps window with live updating. It plays nicely along with the Scratch pad plugin, functionally and visually.
Unzip the "Easy jumps" directory into the plugins directory.
This plugin is initialized at startup.
When writing, jumps list will auto update after new lines are added or removed from the text. After Enter is pressed for example.
Select jump type by clicking the name at the bottom or use left and right keys to toggle.
Edit jump masks (Headings, Comments ...) in the plugin's _config.incl file / JUMP_DEFINITIONS. You must be familiar with regular expressions syntax to do that.
Filter box: if you prepend your filter string with "=", you'll get a list of all occurrences in the text i.e. ordinary search.
Double click top of the plugin box to "buttonize" it.
<< Back to plugins list