[ jEdit-devel ] [ jedit-Plugin Bugs-905300 ] console and file reload

[SourceForge.net <no...@so...>]

Plugin Bugs item #905300, was opened at 2004-02-26 11:21
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=905300&group_id=588

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: console and file reload

Initial Comment:
When the console is docked, and a command is run 
which affects/changes a file which is in one of the jEdit 
open and showing buffers, there is no indication that the 
file has been modified outside jEdit.  

If that buffer is hidden, then shown, the indication is 
given.  If jEdit is hidden, then shown, the indicaton is 
given.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=905300&group_id=588