<blockquote>
<p>Geany does not help me to access those files quickly. I have to think which ones are affected and open them manually.</p>
</blockquote>
<p>Agreed, but in fact Geany does not know about those files either, it only regularly tests the current file.  This is to reduce the cost of regularly <code>stat</code>ing lots of files which can be an expensive operation, especially if the user has many files open, and/or if files are on remote servers.  And some users have a LOT of files open, and as home file servers get cheaper more use "remote" servers.</p>
<p>There was an attempt to use the GIO file monitoring which may have been able to handle more files efficiently, but it proved to be unreliable, triggering multiple times and causing the infobar to come back repeatedly.  This may not neccessarily be GIOs fault since the underlying OS <code>inotify</code> interface notes the possibility of missing or repeated events.  This code is still in the Geany source but <code>#if</code>ed out, anybody is welcome to try to sort it out.</p>
<blockquote>
<p>it would be great to put the deleted files up front,</p>
</blockquote>
<p>Even if monitoring worked, its considered bad UI design to reorder a users tabs.  Other methods of indication could be used to allow the user to find such files quickly.</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/1994#issuecomment-440039082">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ-zcv35I79oKsnmEDG-3IFoJusucks5uwxs4gaJpZM4Yn81v">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJ0oCzm2oB2-7NNalmhQrvsDgSCJdks5uwxs4gaJpZM4Yn81v.gif" height="1" width="1" alt="" /></p>
<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 #1994: \u003e Geany does not help me to access those files quickly. I have to think which ones are affected and open them manually.\r\n\r\nAgreed, but in fact Geany does not know about those files either, it only regularly tests the current file.  This is to reduce the cost of regularly `stat`ing lots of files which can be an expensive operation, especially if the user has many files open, and/or if files are on remote servers.  And some users have a LOT of files open, and as home file servers get cheaper more use \"remote\" servers.\r\n\r\nThere was an attempt to use the GIO file monitoring which may have been able to handle more files efficiently, but it proved to be unreliable, triggering multiple times and causing the infobar to come back repeatedly.  This may not neccessarily be GIOs fault since the underlying OS `inotify` interface notes the possibility of missing or repeated events.  This code is still in the Geany source but `#if`ed out, anybody is welcome to try to sort it out.\r\n\r\n\u003e it would be great to put the deleted files up front,\r\n\r\nEven if monitoring worked, its considered bad UI design to reorder a users tabs.  Other methods of indication could be used to allow the user to find such files quickly."}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/1994#issuecomment-440039082"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/issues/1994#issuecomment-440039082",
"url": "https://github.com/geany/geany/issues/1994#issuecomment-440039082",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
},
{
"@type": "MessageCard",
"@context": "http://schema.org/extensions",
"hideOriginalBody": "false",
"originator": "AF6C5A86-E920-430C-9C59-A73278B5EFEB",
"title": "Re: [geany/geany] Close deleted files faster (#1994)",
"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\": 1994,\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\": 1994\n}"
},
{
"targets": [
{
"os": "default",
"uri": "https://github.com/geany/geany/issues/1994#issuecomment-440039082"
}
],
"@type": "OpenUri",
"name": "View on GitHub"
},
{
"name": "Unsubscribe",
"@type": "HttpPOST",
"target": "https://api.github.com",
"body": "{\n\"commandName\": \"MuteNotification\",\n\"threadId\": 413125999\n}"
}
],
"themeColor": "26292E"
}
]</script>