Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-2999966 ] Auto-reload buffer option doesn't survive buffer re-load
|
From: SourceForge.net <no...@so...> - 2010-05-13 13:15:49
|
Bugs item #2999966, was opened at 2010-05-11 15:02 Message generated for change (Comment added) made by rschwenn You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2999966&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: editor core Group: None >Status: Open >Resolution: None Priority: 5 Private: No Submitted By: Ben Golding (bgolding) Assigned to: Matthieu Casanova (kpouer) >Summary: Auto-reload buffer option doesn't survive buffer re-load Initial Comment: Steps to reproduce: (1) Open a file (2) Menu --> Utilities --> Buffer Options... (3) Change setting "If open files are changed on disk" to "autoreload without notification", click OK (4) Make a change to the file in the editor pane (5) Save the file (6) Menu --> Utilities --> Buffer Options... Observe that setting "If open files are changed on disk" has reverted to default "automatically reload and notify user" This is quite annoying, after I once changed the setting it should persist until the buffer is closed. ---- jEdit 4.3.2, Java 1.6.0_14, Windows XP SP2 ---------------------------------------------------------------------- >Comment By: Robert Schwenn (rschwenn) Date: 2010-05-13 15:15 Message: OK, forget #2821103. The auto-reload buffer option is the only buffer option which is reset at buffer re-load. This doesn't seem to be consistent for me. If this was fixed, the option could be used as desired for a specific open buffer. ---------------------------------------------------------------------- Comment By: Ben Golding (bengolding) Date: 2010-05-13 08:57 Message: Not quite. #2821103 doesn't mention saving the buffer. He is talking about closing / reopening the same file, and expects jEdit to remember the reload option for each and every file you edit, forever. That's not sensible IMO. I'm talking about the option being reset when you save, it shouldn't be. ---------------------------------------------------------------------- Comment By: Robert Schwenn (rschwenn) Date: 2010-05-12 23:45 Message: It's a duplicate of bug #2821103, isn't it? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2999966&group_id=588 |
