[Geany-devel] GIO file monitoring

Nick Treleaven 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:

> Hi,
> 
> 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.

Cool.

...
> 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.

Regards,
Nick



More information about the Devel mailing list