From: Birger Skogeng Pedersen <birger.sp@gmail.com>
Date: Tue, 03 Sep 2019 18:13:02 GMT
Subject: Re: [PATCH v4] git-gui: Add hotkeys to set widget focus
Message-ID: <CAGr--=K4cEjWD4q14M63Muta3X=YSKff4sebH64AKGKWT7+--A@mail.gmail.com>
In-Reply-To: <20190903180704.11812-1-birger.sp@gmail.com>

Hi,

(Sorry that I hadn't used the proper version in the subject before,
I'm new (as you could probably tell already))
In addition to your changes, I removed the unused ui_workdir variable
and modified the bindings to be ALT+1/2/3/4.
Shoud I have listed you in the commit? Or did I do it according to
your suggestion?

Thanks,
Birger