Hello jEdit Fellows. I really like the Minimap plugin, but it was driving me crazy by resetting the position of the divider, between the buffer and minimap, every time I changed a buffer option.
This patch adds a single new option to set a global value for the location of the divider. It works great for me. Leaving it blank or 0 retains the previous behavior.
Log in to post a comment.