On Sep 7, 2010, at 7:38 PM, DJ Delorie wrote: > >> Nedit, for example, watches and pops up a dialog box that says: >> "<file> has been modified by another program. Reload?" with the >> appropriate buttons. Not a perfect mechanism, but a useful and >> practical one. > > And if you've just spent the last hour editing the file, you're > screwed.
Yep. It isn't a perfect mechanism, just a reasonably effective, pragmatic one. Don't seek rigor when you should be pragmatic (at the UI). Don't be too sloppily pragmatic when you should be rigorous (at the foundations). > > > _______________________________________________ > geda-user mailing list > geda-user@moria.seul.org > http://www.seul.org/cgi-bin/mailman/listinfo/geda-user > John Doty Noqsi Aerospace, Ltd. http://www.noqsi.com/ j...@noqsi.com _______________________________________________ geda-user mailing list geda-user@moria.seul.org http://www.seul.org/cgi-bin/mailman/listinfo/geda-user