I think Geany considers only the file's mtime (modified not access time). There is another code branch which uses GIO file monitoring (which is probably based on inotify).
The GIO check is performed when `use_safe_file_saving` **is not set** and `use_gio_unsafe_file_saving` **is set** (see https://github.com/geany/geany/blob/master/src/document.c#L84). You check for these settings in `~/.config/geany/geany.conf`. In any way, the described behavior sounds strange. I'd say if the OneDrive client only modifies the access time, Geany should not see this as file change. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/discussions/4258#discussioncomment-12441275 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/repo-discussions/4258/comments/12441...@github.com>
