<p>What exactly is the logic of those editors?  And how would it interact with Geany's existing testing?</p>
<p>Maybe I didn't make the Geany logic clear.  When Geany detects a file on disk has changed after the user selects "cancel" the date/time on the buffer has to be updated to match the disk, or the info bar will keep reappearing.  So now when the buffer is saved it matches the date/time of the file, so no warning would be generated even if the test was done at save.</p>
<p>The other editors don't do the check until save time and so never update the buffer date/time before that, so they can generate a message at save time.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/issues/1885#issuecomment-398255325">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ4WgJ8MLLPdkxv663U9tHwJMEwyYks5t-GMIgaJpZM4UsYx0">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJ3f9LIQv_9h3E8Dv3NJRydvnrLiDks5t-GMIgaJpZM4UsYx0.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","potentialAction":{"@type":"ViewAction","target":"https://github.com/geany/geany/issues/1885#issuecomment-398255325","url":"https://github.com/geany/geany/issues/1885#issuecomment-398255325","name":"View Issue"},"description":"View this Issue on GitHub","publisher":{"@type":"Organization","name":"GitHub","url":"https://github.com"}}</script>
<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://assets-cdn.github.com/images/email/message_cards/header.png","avatar_image_url":"https://assets-cdn.github.com/images/email/message_cards/avatar.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@elextr in #1885: What exactly is the logic of those editors?  And how would it interact with Geany's existing testing?\r\n\r\nMaybe I didn't make the Geany logic clear.  When Geany detects a file on disk has changed after the user selects \"cancel\" the date/time on the buffer has to be updated to match the disk, or the info bar will keep reappearing.  So now when the buffer is saved it matches the date/time of the file, so no warning would be generated even if the test was done at save.  \r\n\r\nThe other editors don't do the check until save time and so never update the buffer date/time before that, so they can generate a message at save time."}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/1885#issuecomment-398255325"}}}</script>
<script type="application/ld+json">{
"@type": "MessageCard",
"@context": "http://schema.org/extensions",
"hideOriginalBody": "false",
"originator": "AF6C5A86-E920-430C-9C59-A73278B5EFEB",
"title": "Re: [geany/geany] An insufficient behavior when an open file was updated outside Geany (#1885)",
"sections": [
{
"text": "",
"activityTitle": "**elextr**",
"activityImage": "https://assets-cdn.github.com/images/email/message_cards/avatar.png",
"activitySubtitle": "@elextr",
"facts": [

]
}
],
"potentialAction": [
{
"name": "Add a comment",
"@type": "ActionCard",
"inputs": [
{
"isMultiLine": true,
"@type": "TextInput",
"id": "IssueComment",
"isRequired": false
}
],
"actions": [
{
"name": "Comment",
"@type": "HttpPOST",
"target": "https://api.github.com",
"body": "{\n\"commandName\": \"IssueComment\",\n\"repositoryFullName\": \"geany/geany\",\n\"issueId\": 1885,\n\"IssueComment\": \"{{IssueComment.value}}\"\n}"
}
]
},
{
"name": "Close issue",
"@type": "HttpPOST",
"target": "https://api.github.com",
"body": "{\n\"commandName\": \"IssueClose\",\n\"repositoryFullName\": \"geany/geany\",\n\"issueId\": 1885\n}"
},
{
"targets": [
{
"os": "default",
"uri": "https://github.com/geany/geany/issues/1885#issuecomment-398255325"
}
],
"@type": "OpenUri",
"name": "View on GitHub"
},
{
"name": "Unsubscribe",
"@type": "HttpPOST",
"target": "https://api.github.com",
"body": "{\n\"commandName\": \"MuteNotification\",\n\"threadId\": 347180148\n}"
}
],
"themeColor": "26292E"
}</script>