Re: [ jEdit-users ] feature request

[Slava P. <sl...@je...>]

You can just disable the feature that checks file modification times in
the global options dialog box. I'm not sure reading the file from disk
and doing a checksum each time is a good idea.

On Thu, Jun 12, 2003 at 10:22:45PM -0700, Chris Petersen wrote:
> I work with a lot of nfs-mounted files, and when the clocks are slightly
> off, jEdit seems to think that the files have been edited by someone
> else, and notifies me that it has reloaded them.
> 
> Is there any way you can do a checksum on the data and NOT display the
> notification if there has been no actual change to the content of the
> file?
> 
> -Chris
> 
> 
> 
> -------------------------------------------------------
> This SF.NET email is sponsored by: eBay
> Great deals on office technology -- on eBay now! Click here:
> http://adfarm.mediaplex.com/ad/ck/711-11697-6916-5
> -- 
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users

-- 
Slava Pestov