3 Oct 2005 18:08
[ jedit-Bugs-1238033 ] "Files changed on disk" somewhat faulty behaviour
SourceForge.net <noreply <at> sourceforge.net>
2005-10-03 16:08:56 GMT
2005-10-03 16:08:56 GMT
Bugs item #1238033, was opened at 2005-07-14 01:34 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1238033&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 Submitted By: Ingemar Hansson (ingemarh) Assigned to: Nobody/Anonymous (nobody) Summary: "Files changed on disk" somewhat faulty behaviour Initial Comment: Currently when the "files are changed on disk" option is set to anything else than "do nothing" jEdit checks all open files when jEdit gets focus. The IMO faulty behaviour is that the file change status is only checked when jEdit comes into focus. If a file that is not in focus in the jEdit view is changed and I later move to that file without leaving jEdit in between, the editor won't detect that the file is changed. This should be changed so that jEdit checks for file changes as soon as you change buffer. It could possibly be optional to aid them who have files that seldom gets(Continue reading)
RSS Feed