Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-2821103 ] Autoreload without notification does not work
|
From: SourceForge.net <no...@so...> - 2009-07-22 07:22:19
|
Bugs item #2821103, was opened at 2009-07-13 22:22 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2821103&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: normal bug Status: Open Resolution: Invalid Priority: 5 Private: No Submitted By: Chris Velevitch (cv105) Assigned to: Nobody/Anonymous (nobody) Summary: Autoreload without notification does not work Initial Comment: 1. Only works the first time the file changes after you've set the option. 2. The option is not saved when you exit and run jEdit again. 3. Nothing happens if jEdit doesn't have application focus. jEdit 4.3pre17 server mode, Java 1.6.0_11, Win XP Pro sp3 ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2009-07-22 00:22 Message: why the @#$@#$!! are there buffer options for buffer reloading behavior at all, when all buffer options get reset on reload every time? They don't belong there at all in the first place. It seems almost paradoxical that they exist. ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-22 00:13 Message: I think you misunderstood the meaning of "Buffer Options". The options in the "Buffer Options" dialog only hold for the current buffer, as long as it remains open, and as long as it has not been reloaded. The first reload of the buffer (even without restarting jEdit) causes these options to be reset to the default. Maybe the "auto-reload" option should be named differently or provide different choices in the Buffer Options dialog, to eliminate such confusion. ---------------------------------------------------------------------- Comment By: Chris Velevitch (cv105) Date: 2009-07-21 23:55 Message: Buffer options is overriding the global options. And it's being reset to an undesired setting everytime you start jEdit up. ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-20 13:43 Message: Gee, thanks, I'd never have noticed that... :) I didn't even know this option was available as a buffer option. ---------------------------------------------------------------------- Comment By: Robert Schwenn (rschwenn) Date: 2009-07-20 13:33 Message: Chris, You're referring to BUFFER options, and You described their designed behavior: Changes to buffer options are only valid for this buffer and they get lost when re-loading the buffer (unless You're using the BufferLocal plugin or have written some of them as text into the buffer). Since You've told jEdit to "autoreload..." it the buffer options are immediately reset after the file was changed and You returned to jEdit. If You want to change this option globally, go to Utilities -> Global Options -> General... ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-19 22:34 Message: I forgot, after exiting jEdit, please attach also the file "activity.log" in the jEdit settings directory. ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-19 22:34 Message: Please set this option to "autoreload without notification", then exit jEdit, and then attach to this item the file named "propertiles" in the jEdit settings directory (which is by default ".jedit" under your home directory, ~/.jEdit on Unix or "C:\Documents and Settings\<username>\.jEdit" on Windows). Thanks. ---------------------------------------------------------------------- Comment By: Chris Velevitch (cv105) Date: 2009-07-19 19:32 Message: I change the buffer option to "autoreload without notification", then change the file externally with another tool, it changes fine the first time without popping up the dialog. Without exiting jEdit, change he same file again externally with another tool, jEdit sees that the file has changed, but the notification dialog pops up. When I recheck the buffer option, it has been reset to "automatically reload and notify user" ---------------------------------------------------------------------- Comment By: Chris Velevitch (cv105) Date: 2009-07-19 19:23 Message: Every time I start jEdit the buffer option is always set to "automatically reload and notify user". I change it to "autoreload without notification" and then exit. Then I start it again, it's still says "automatically reload and notify user". It doesn't seem to save the buffer option. ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-19 11:51 Message: I cannot reproduce this. Please do the following: - Verify that the option "Check for file change upon:" has the value that you expect. This determines when jEdit changes if a file has to be reloaded. - After setting the option "Autoreload without notifications", please attach your "properties" file (in the jEdit settings directory) to this item. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2821103&group_id=588 |