GNOME Bugzilla – Bug 343333
Automatically reload files when changed on disk
Last modified: 2006-05-29 21:50:59 UTC
Instead of having to manually reload a document, detect when the file changed on disk and reload automatically. This would be useful when authoring documents (e.g. with pdflatex).
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find. *** This bug has been marked as a duplicate of 304249 ***