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.
Cheers, Matthew Brush