> A nice byproduct of this feature, if enabled by default (or always) is that > we could potentially start using proper file change notifications > (GFileMonitor and friends which is already in the code but disabled). It > needs testing but it seems like it would circumvent the double-notification > problem.
Neat, have you solved the problem of it producing multiple notifications which was why it was abandoned last time IIRC? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1246#issuecomment-249766393
