[Github-comments] [geany/geany] Close deleted files faster (#1994)

elextr notifications at xxxxx
Mon Nov 19 07:26:50 UTC 2018


> I tried to describe the desired behaviour. If anything else would be needed, please let me know.

Ok, but since you referred to another application as the "reference for a better solution" its possible that it had another behaviour.

> Offering to save files that have just been deleted even if there are no unsaved changes in geany seems a bit like questioning something that the user has just done

Note that Geany does not know that the file has been deleted, and the infobar does not say that, just that it was not found.  An example of a situation which will bring up that infobar is if your remote webserver filesystem loses connection.  Then you probably would want to save the file, albeit in a different place, until you sorted the connection out so the save option opens the save dialog for that reason.

-- 
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/1994#issuecomment-439795648
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20181118/7ad01493/attachment.html>


More information about the Github-comments mailing list