<p>For whoever attempts a PR, it seems to me both 1. and 3. are needed.</p>
<p>Refactoring of <code>document_save_file()</code> is needed so a new function, say <code>document_save_file_error()</code> without the dialog and with the gerror can be created. Better to create a different function rather than changing the existing function signature which would be a big API break inside Geany and many plugins.</p>
<p>Needs 1. because the plugin still needs to disable saving of that document or the same thing will happen again next timeout.  Probably if an error occurs the plugin should show a dialog detailing the error with an option to stop saving the document.  And then since it has to keep a list it is only a minor addition to allow users to add files to the list to cure <a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="109569295" data-permission-text="Issue title is private" data-url="https://github.com/geany/geany/issues/673" data-hovercard-type="issue" data-hovercard-url="/geany/geany/issues/673/hovercard" href="https://github.com/geany/geany/issues/673">#673</a>.</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/2104#issuecomment-476887288">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ6p1bJRqYQf3S40vdaQakBHYLnm6ks5vaqdjgaJpZM4b0Vfw">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJyeyibC7CvGHLEJyygoNtkGrxejOks5vaqdjgaJpZM4b0Vfw.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://github.githubassets.com/images/email/message_cards/header.png","avatar_image_url":"https://github.githubassets.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 #2104: For whoever attempts a PR, it seems to me both 1. and 3. are needed.\r\n\r\nRefactoring of `document_save_file()` is needed so a new function, say `document_save_file_error()` without the dialog and with the gerror can be created. Better to create a different function rather than changing the existing function signature which would be a big API break inside Geany and many plugins.  \r\n\r\nNeeds 1. because the plugin still needs to disable saving of that document or the same thing will happen again next timeout.  Probably if an error occurs the plugin should show a dialog detailing the error with an option to stop saving the document.  And then since it has to keep a list it is only a minor addition to allow users to add files to the list to cure #673.\r\n\r\n"}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/2104#issuecomment-476887288"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/issues/2104#issuecomment-476887288",
"url": "https://github.com/geany/geany/issues/2104#issuecomment-476887288",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>