Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Bugs-3291008 ] DirtyGutter + Save All reverts some files
|
From: SourceForge.net <no...@so...> - 2011-04-29 17:08:28
|
Plugin Bugs item #3291008, was opened at 2011-04-21 09:33 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3291008&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Steve (snarum-micron) Assigned to: Shlomy Reinstein (shlomy) Summary: DirtyGutter + Save All reverts some files Initial Comment: Save All has recently started failing. Rather than saving all the dirty buffers, some buffers are saved correctly while others seem to have been reverted, saved part way through the revert, and are still marked dirty. The file on drive may have, for example, one of three edits done and the other two not done, while the open buffer shows none of the edits done, but all of the edit lines marked dirty using the DirtyGutter plugin. If I use the Redo function, the edits all reappear, one by one. There seems to be no correlation with file type, folder location, etc. as I have seen two files of the same type (.c) in the same directory where one has the problem and the other does not. I am using jEdit 4.5.pre1, daily builds from April 5, with Java 1.6.0_24 on WinXP64. I updated to the latest daily (April 13) and still see the same problem. ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2011-04-29 10:08 Message: Ignore previous comment. It seems DirtyGutter has a few bugs fixed in git and has not been released yet. Try out the latest daily build here: http://www.tellurianring.com/projects/jedit-daily/index.php?dir=DirtyGutter%2F2011-04-04_23-56-14%2F See if you have the same problem. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-04-28 07:48 Message: perhaps diff mode should be the default in DirtyGutter for future versions until this is fixed? ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2011-04-27 22:26 Message: This might be caused by DirtyGutter, if you use the "simple" mode (i.e. "Dirty line provider" in the option pane is set to 'simple'). DirtyGutter (in "simple" mode only) actually runs an undo/redo procedure every time the buffer is saved in order to build its own support for undo/redo - since the core does not expose the undo list to plugins. I will try to check & fix this soon, but in the mean time you can switch to "Diff" mode - which does not perform any undo/redo, but instead compares the buffer to the file on disk. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-04-27 15:33 Message: Please describe some easy steps to reproduce with 2 test files, if possible. ---------------------------------------------------------------------- Comment By: Steve (snarum-micron) Date: 2011-04-27 12:50 Message: I am beginning to wonder if my statement was correct. I turned off the DirtyGutter plugin a couple days ago, and I don't believe I have seen this happen since. So, this may indeed be a plugin bug. I am using version 0.2 of DirtyGutter, April 5 daily build. ---------------------------------------------------------------------- Comment By: Steve (snarum-micron) Date: 2011-04-21 10:52 Message: Sorry for the confusion. This has nothing to do with the DirtyGutter plugin, I was simply noting that it seems to indicate that some lines were actually changed AFTER the save, which is a symptom, not a cause. The problem happens with or without the plugin turned on. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-04-21 10:39 Message: is this a bug with the dirty gutter plugin or jedit itself? Can you describe the problem without using dirtygutter? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3291008&group_id=588 |