Re: [PATCH v5] git-gui: Add hotkeys to set widget focus
- From
Johannes Sixt <j6t@kdbg.org>
- Date
- Sep 11, 2019, 18:11 UTC
- 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