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.
| Submitted | danh337 - 2015-11-27 09:01:24.835000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |