Re: [gedit-list] File changed... could gedit tell us when a file changes?

[Steve Frécinaux <nudrema gmail com>]

Gary Haran wrote:

> Could there be an option in Gedit where an opened file automatically 
> tells you if a change occured outside the editor?

There is a bug about that in the bugzilla [1], I can't remember its 
number anyway.

Could you use the bugzilla for feature request so that it doesn't get 
lost, please ?

[1] http://bugzilla.gnome.org