What are the actual permissions of the file and the directory it is in?

I have write permission to file and directory - after all, I could change the file with a different editor.

Is Geany running with the same permissions as the other editors?

I think it does. At least I didn't run it in "Windows Elevated Mode". Is there something else I could check in this respect?

What are the values of the settings discussed

Just the defaults. use_gio_unsafe_file_saving is on and the other two are off.

Are you sure the file isn't locked

Well, I don't know the Windows locking policies so much, so let's put it like this: It's quite possible that another file was holding kind of a lock - not a "real" file lock, because there were such I lock, I could not have modified the file with another editor. However, elextr pointed me to the settings for saving the file, and from my settings, Geany seems to directly overwrite the file, while the other editor I used, likely created a temporary file first and then renamed. Maybe Windows has a locking mode, which allows the latter, but forbids the former.

This theory is also supported by the fact, that the locking problem went away, after rebooting Windows.

However, the real "bug" IMO is not the file locking itself (as annoying as it might be), but that Geany gets unresponsive if this occurs. Even if we really have the case a "legal" file locking, I don't think that Geany should become unoperational.

—
Reply to this email directly or view it on GitHub.