<p>This silently reloads files that have unsaved changes. The changes can then be recovered by invoking “undo” in each affected document, but I think this is dangerous. I could invoke “reload all” by accident and then I don’t even know what to undo.</p>
<p>Maybe a dialog box like this would be appropriate:</p>
<blockquote>
<p>The following 3 files have unsaved changes:</p>
<p>/home/vasiliy/foo/bar/baz<br>
/home/vasiliy/quux/xyzzy<br>
/home/vasiliy/wololo</p>
<p>Do you want to reload them as well? The changes will be gone, but you can restore them by invoking “undo” in individual documents.</p>
<p><Yes, reload these files>     <No, skip these files></p>
</blockquote>
<p>Personally, I would also be OK with silently skipping such files — that’s what I do now in my plugin. But at least a message in the status bar would be useful and easy to add.</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/1471#issuecomment-298175346">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ-nN5Z3EM2v-WDfI9jnXQ96t7gA_ks5r01WPgaJpZM4NEjQ4">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ55MpMVpO1GId9Om-MZfEuIBKUG8ks5r01WPgaJpZM4NEjQ4.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1471#issuecomment-298175346"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>

<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":"@vfaronov in #1471: This silently reloads files that have unsaved changes. The changes can then be recovered by invoking “undo” in each affected document, but I think this is dangerous. I could invoke “reload all” by accident and then I don’t even know what to undo.\r\n\r\nMaybe a dialog box like this would be appropriate:\r\n\r\n\u003e The following 3 files have unsaved changes:\r\n\u003e\r\n\u003e /home/vasiliy/foo/bar/baz\r\n\u003e /home/vasiliy/quux/xyzzy\r\n\u003e /home/vasiliy/wololo\r\n\u003e\r\n\u003e Do you want to reload them as well? The changes will be gone, but you can restore them by invoking “undo” in individual documents.\r\n\u003e\r\n\u003e \u003cYes, reload these files\u003e     \u003cNo, skip these files\u003e\r\n\r\nPersonally, I would also be OK with silently skipping such files — that’s what I do now in my plugin. But at least a message in the status bar would be useful and easy to add.\r\n"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1471#issuecomment-298175346"}}}</script>