Re: [PATCH] git-gui: allow closing console window with Escape

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Dec 9, 2019, 09:18 UTC
Message-ID: <nycvar.QRO.7.76.6.1912091014220.31080@tvgsbejvaqbjf.bet>
In-Reply-To: <20191208194046.csf35b7rgycst2vc@yadavpratyush.com>

Hi Pratyush,

On Mon, 9 Dec 2019, Pratyush Yadav wrote:

Show 15 quoted lines

> On 07/12/19 05:24PM, Johannes Schindelin wrote:
> >
> > On Sat, 7 Dec 2019, Pratyush Yadav wrote:
> >
> > > It is often expected that popup windows like the console window be
> > > close-able with Esc.
> >
> > Seeing as the console windows is not your regular popup window with an
> > "OK" button, I could see how it would be all too easy to close the window
> > via the Esc button all too easily, annoying users.
>
> I'm not sure why it is "too easy" to hit Escape. If you're hitting Esc
> (which for most people is pretty far from other more frequently used
> keys) you expect _something_ to happen. People don't just spam Esc for
> no reason, do they?

Is it possible to issue a command in that console window? If yes, Esc D is what people like me would possibly use to delete entire words.

Even if not, if there is no "OK" button, it would annoy me no end if the Escape key closes the window (it is not a dialog box, after all).

Show 10 quoted lines

> > For windows like the console one, I would expect Ctrl+W a much more
> > natural keyboard shortcut to close it.
>
> But, that "something" the user expects to happen could also be "stop the
> command". AFAIK, Esc is often expected to stop commands. But closing the
> console window won't actually stop the command. It will keep running in
> the background, and when the command is done, the window will open again
> showing the final output.
>
> So all in all, I do think Ctrl-W would be a better idea. Will re-roll.

Thank you, Dscho