After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 337891 - Enhancement: File Changed Notice
Enhancement: File Changed Notice
Status: RESOLVED DUPLICATE of bug 75861
Product: gedit
Classification: Applications
Component: general
2.14.x
Other All
: Normal enhancement
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2006-04-10 08:18 UTC by Richard Laager
Modified: 2006-04-10 08:52 UTC
See Also:
GNOME target: ---
GNOME version: 2.13/2.14


Description Richard Laager 2006-04-10 08:18:08 UTC 
It would be really handy if gedit would tell me when a file has changed on disk,
and give me the option to reload it.

Other information:
Comment 1 Paolo Borelli 2006-04-10 08:52:16 UTC 
gedit warns you when you try to save a file that has been modified externally.

Actively monitoring the file would be nice, but we do not feel like the current file-monitoring technologies are stable and reliable enough.

*** This bug has been marked as a duplicate of 75861 ***