On Thu, 2 Oct 2008 18:44:55 +0200 Enrico Tröger enrico.troeger@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