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

RalphBike notifications at xxxxx
Mon Nov 19 07:06:50 UTC 2018


> elextr: BTW Referencing the behaviour of another tool that most Geany devs don't have is not useful, describe the desired behaviour.

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

> codebrainz: Seems reasonable, if maybe a little dangerous. I can imagine someone accidentally clicking the wrong button in the infobar and then having a really bad day,

Yeah well, I had this really bad day, two days ago. I accidentally overwrote several files on my webserver because (?) the files were still open on two machines. No, I am not blaming anyone but would like to reduce that risk. 
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, like do you really want to leave my website?  

-- 
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-439791829
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20181118/05bb7a44/attachment.html>


More information about the Github-comments mailing list