No, but like I said in the last sentence you quoted, it seems like the feature in this PR would circumvent it.
If you just saved a file and then get an FS event immediately it doesn't matter since the buffer is clean and there won't be any nagging UI. Except for the previously mentioned misbehaviour with storing a whole copy of each document on each reload in the undo buffer, which would cause additional wasted memory each save, it seems like it would make the problems with GFileMonitor go away (at least noticeably). -- 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-249767273
