From: Johannes Sixt <j6t@kdbg.org>
Date: Wed, 11 Sep 2019 18:11:09 GMT
Subject: Re: [PATCH v5] git-gui: Add hotkeys to set widget focus
Message-ID: <1b330dd0-9daa-b178-4725-2b0257090dc2@kdbg.org>
In-Reply-To: <20190911174813.3v2f4s7wxolkkyef@yadavpratyush.com>

Am 11.09.19 um 19:48 schrieb Pratyush Yadav:
> Since this entire debate essentially boils down to personal preference, 
> there is no clear answer. So I'll just go with the author's 
> implementation.

Fair enough.

-- Hannes