[Geany-Devel] Bug: Conflicting Keyboard shortcut in "reload file" dialog - ID: 3587465

[Matthew Brush]

On 12-11-27 02:20 PM, Lex Trotman wrote:
> On 28 November 2012 05:13, Matthew Brush <mbrush at 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