On 28 November 2012 13:10, Matthew Brush mbrush@codebrainz.ca wrote:
On 12-11-27 02:20 PM, Lex Trotman wrote:
On 28 November 2012 05:13, Matthew Brush mbrush@codebrainz.ca wrote:
On 12-11-27 09:54 AM, Nick Treleaven wrote:
On 27/11/2012 17:48, Matthew Brush wrote:
We could just drop the Close button altogether since you can already close the document by using the close button in the notebook tab, the close button in the toolbar, the close button in the main menu or by using Ctrl+W (or whatever) accelerator. Unlike the "missing on disk"
That takes quite a bit longer when you have several files to reload and you want to close most of them. This situation actually happens often for me, I think pretty much as often as I want to reload documents.
What is your use case for when you want to close a file after it has been externally modified on disk? I understand the case for "externally deleted/moved" just not for "externally changed".
@Matthew, "oh, I still have that generated file open, oops"
I was asking for Nick's real-life use case for this, as opposed your hypothetical ones :) Not that it's any of my business, I was just curious where this specifically comes in handy for him, maybe I'm missing something convenient I could be doing.
This is a depressingly common use-case for me, not hypothetical, when I have generated files open (while debugging things like document tool setups) as soon as it works I start closing things, close the one before the generated file and it becomes current, and pops up the annoying reload dialog, and it is very convenient to just close it.
Cheers Lex
Cheers, Matthew Brush
Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel