
<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>