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