[Github-comments] [geany/geany] Dismiss "Deleted from Disk" Infobar on Reload (#1330)
Matthew Brush
notifications at xxxxx
Sun Dec 4 21:26:28 UTC 2016
When an open document's file is deleted from disk the infobar pops up to let the user know. The infobar doesn't have a Reload option (which kind of makes sense). Often I'll have a generated file open which is frequently deleted and re-created from scratch, which of course triggers the infobar. I'll then generate the file and want to reload it in Geany so I press the Reload button. Doing this should dismiss/cancel the infobar that is effectively wrong now instead of having to press Cancel manually after reloading.
A further enhancement would be for Geany to detect the file is back on disk and switch the infobar out for the one notifying of a change on disk, which does have a Reload option and is also dismissed on reload.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1330
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20161204/4817584f/attachment.html>
More information about the Github-comments
mailing list