DirtyGutter 0.3. jEdit 4.5.0 and 4.5.1. Win7 and Solaris10. Oracle Java 1.6.0-23 and
With DirtyGutter provider set to "Simple" (the default value), *Every* folding that you have made a change inside of (since the buffer was opened) and then closed, is re-opened *every* time you save the buffer. Also, when this happens, the buffer is also automatically scrolled to the last folding that was automatically opened (though the caret is still at the correct position).
The folding mode does not matter (indent, explicit, sidekick).
This is very annoying when editing large files with lots of nested foldings. At least it seems to work fine with provider set to "Diff", so it is not a big problem here at work anymore. (Though it took us quite some time to narrow the problem down).
|Submitted||boise - 2012-10-18 - 10:09:28z||Assigned||shlomy|
|2012-10-18 - 11:32:31z
|Added a sample text file.
1. Make sure that provider is set to Simple (Plugin Options > DirtyGutter). Note that if you needed to change this, you should restart jEdit afterwards since it seems to work fine otherwise(!)
2. Open the test file.
3. Open Fold A, Make a change to any line in the folding, and save the file.
4. Close Fold A, and open Fold B. Make a change to one of the last lines in the fold and save the file.
5. Fold A is now automatically opened, and the buffer is scrolled up to Fold A. The caret however remains where you left it in Fold B (as it should be).
|2012-10-18 - 11:25:10z