[Geany-devel] GIO file monitoring
nick.treleaven at xxxxx
Fri Oct 3 14:08:26 UTC 2008
On Thu, 2 Oct 2008 18:44:55 +0200
Enrico Tröger <enrico.troeger at uvena.de> wrote:
> I got file monitoring working through a GFileMonitor
> (http://library.gnome.org/devel/gio/stable/GFileMonitor.html) and it
> seems to work quite fine so far.
> b) when we receive a changed notification, we store it in a flag
> 'changed' in the GeanyDocumentPrivate struct and use this flag when
> the document is active (by typing, clicking, switching as above)
> I'd prefer b) to keep the current behaviour and not getting annoyed by
> dialog boxes for 'inactive' files. We would still have the advantage
> that the user get the changed notification directly without any delay
> for the current active document.
I think this is best.
> While writing, I'm thinking of a third possibility, or better an
> addition to possibility b):
> when an inactive document has changed, we change it's tab label colour
> to yellow or orange and when the user switches to this document, i.e.
> make it active, the dialog box is presented asking to reload.
This would be good.
More information about the Devel