<blockquote>
<p>And if there is an unsaved file the user needs to be paying attention to action the dialog or the timeout will expire anyway.</p>
</blockquote>
<p>Right, but their session file list (and preferences, etc) will get saved even if they aren't paying attention, which is what this PR, <a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="211143771" data-permission-text="Issue title is private" data-url="https://github.com/geany/geany/issues/1416" href="https://github.com/geany/geany/issues/1416">#1416</a> and <a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="314617872" data-permission-text="Issue title is private" data-url="https://github.com/geany/geany/issues/1826" href="https://github.com/geany/geany/issues/1826">#1826</a> are about, and why it might be worthwhile to fix the bug in Geany that prevents saving other stuff because it's waiting for human confirmation about the unsaved files.</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/pull/1860#issuecomment-391578992">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ575dN8F3VsVuh4xy79dXjPjJuVdks5t1i1BgaJpZM4UKt8l">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJ8azhDJ0NcSoAQ1sYb0HH0kNOEKXks5t1i1BgaJpZM4UKt8l.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/pull/1860#issuecomment-391578992","url":"https://github.com/geany/geany/pull/1860#issuecomment-391578992","name":"View Pull Request"},"description":"View this Pull Request 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://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@codebrainz in #1860: \u003e And if there is an unsaved file the user needs to be paying attention to action the dialog or the timeout will expire anyway.\r\n\r\nRight, but their session file list (and preferences, etc) will get saved even if they aren't paying attention, which is what this PR, #1416 and #1826 are about, and why it might be worthwhile to fix the bug in Geany that prevents saving other stuff because it's waiting for human confirmation about the unsaved files."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1860#issuecomment-391578992"}}}</script>
<script type="application/ld+json">{
"@type": "MessageCard",
"@context": "http://schema.org/extensions",
"hideOriginalBody": "false",
"originator": "37567f93-e2a7-4e2a-ad37-a9160fc62647",
"title": "Re: [geany/geany] Save project on file open/close (#1860)",
"sections": [
{
"text": "",
"activityTitle": "**Matthew Brush**",
"activityImage": "https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png",
"activitySubtitle": "@codebrainz",
"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\": 1860,\n\"IssueComment\": \"{{IssueComment.value}}\"\n}"
}
]
},
{
"name": "Close pull request",
"@type": "HttpPOST",
"target": "https://api.github.com",
"body": "{\n\"commandName\": \"PullRequestClose\",\n\"repositoryFullName\": \"geany/geany\",\n\"pullRequestId\": 1860\n}"
},
{
"targets": [
{
"os": "default",
"uri": "https://github.com/geany/geany/pull/1860#issuecomment-391578992"
}
],
"@type": "OpenUri",
"name": "View on GitHub"
},
{
"name": "Unsubscribe",
"@type": "HttpPOST",
"target": "https://api.github.com",
"body": "{\n\"commandName\": \"MuteNotification\",\n\"threadId\": 338353957\n}"
}
],
"themeColor": "26292E"
}</script>