#283 console and file reload

[Anonymous]

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.

[Robert Schwenn]

Logged In: YES
user_id=1486645
Originator: NO

duplicate of #904687.