<p></p>
<p dir="auto">I understand not wanting to remove the functionality, but also not getting notified of the on disk file having changed does not look correct. I interpreted "readonly" as an indication that the file would never be written to, not as "will not allow modifications in the buffer". With this new interpretation I should reassess the whole idea I had about how things should work. I assumed one meaning of readonly and adjusted the code to that.</p>
<p dir="auto">With this new idea I'm not sure what is the best, maybe a global configuration option, specifying the expected behavior of readonly, or a new file property, which I'm not sure how to name (something like "never overwrite"), to specify the file should never be written to, but can be monitored for changes, completely orthogonal to the current readonly setting.</p>
<p dir="auto">Since all these options require definitely more work than my simplistic approach, I'm not sure if I can find time to do such changes in the near future.</p>
<p dir="auto">What would be the preferred/more acceptable behavior?</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/3142#issuecomment-1081899058">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ7F64A56MWPAKTYH6TVCMDF5ANCNFSM5R3YOYLQ">unsubscribe</a>.<br />You are receiving this because you are subscribed to this thread.<img src="https://github.com/notifications/beacon/AAIOWJ6H57BAX6O7CENR4B3VCMDF5A5CNFSM5R3YOYL2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOIB6HQMQ.gif" height="1" width="1" alt="" /><span style="color: transparent; font-size: 0; display: none; visibility: hidden; overflow: hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0; mso-hide: all">Message ID: <span><geany/geany/pull/3142/c1081899058</span><span>@</span><span>github</span><span>.</span><span>com></span></span></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/3142#issuecomment-1081899058",
"url": "https://github.com/geany/geany/pull/3142#issuecomment-1081899058",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>