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
- Re: [PATCH v5] git-gui: ... Birger Skogeng Pedersen
- Re: [PATCH v5] git-gui: ... Johannes Sixt
- Re: [PATCH v5] git-gui: ... Pratyush Yadav
- Re: [PATCH v5] git-gui: ... Junio C Hamano
- Re: [PATCH v5] git-gui: ... Pratyush Yadav
- Re: [PATCH v5] git-gui: ... Bert Wesarg
- Re: [PATCH v5] git-gui: ... Johannes Sixt
- Re: [PATCH v5] git-gui: ... Pratyush Yadav
- Re: [PATCH v5] git-gui: ... Birger Skogeng Pedersen
- Re: [PATCH v5] git-gui: ... Pratyush Yadav
- Re: [PATCH v5] git-gui: ... Johannes Sixt
- Re: [PATCH] [PATCH] git-gui:... Bert Wesarg
- Re: [PATCH] git-gui: Add hotkeys to set widge... Philip Oakley
- Re: [PATCH] git-gui: Add hotkeys to set w... Pratyush Yadav
- Re: [PATCH] git-gui: Add hotkeys to s... Philip Oakley
- Re: [PATCH] git-gui: Add hotkeys ... Pratyush Yadav
- Re: [PATCH] git-gui: Add hotkeys to set widget foc... Bert Wesarg
- Re: [PATCH] git-gui: Add hotkeys to set widge... Birger Skogeng Pedersen
