This plugin compares the time a buffer was last saved in jEdit with the last modified date of the file on disk. If the buffer
is older, you are notified and given the option to reload the buffer. You may also specify that the current buffer should be
checked every second or so, as well as whether the buffer should be automatically reloaded, or whether you should be prompted,
or that nothing should happen.
To Do
Detect files being reloaded in same view which are already open (if opened w/ -reuse parameter).