Re: [PATCH] git-gui: Add hotkeys to change focus between ui widgets

2018-03-06 Thread Junio C Hamano
Birger Skogeng Pedersen writes: > Thanks for the feedback. > > On Mon, Mar 5, 2018 at 5:55 PM, Johannes Schindelin > wrote: >> Do you think there is a way to focus on the last-selected path? That would >> make this feature even more convenient, I think. > > Yes, good idea. I'll implement it and

Re: [PATCH] git-gui: Add hotkeys to change focus between ui widgets

2018-03-06 Thread Birger Skogeng Pedersen
Thanks for the feedback. On Mon, Mar 5, 2018 at 5:55 PM, Johannes Schindelin wrote: > Do you think there is a way to focus on the last-selected path? That would > make this feature even more convenient, I think. Yes, good idea. I'll implement it and create a second version. > I am not sure that

Re: [PATCH] git-gui: Add hotkeys to change focus between ui widgets

2018-03-05 Thread Johannes Schindelin
Hi Birger, On Wed, 28 Feb 2018, Birger Skogeng Pedersen wrote: > The user cannot change focus between the list of files, the diff view > and the commit message widgets without using the mouse (clicking either of > the four widgets ). > > Hotkeys CTRL/CMD+number (1-4) now focuses the first file o

Re: [PATCH] git-gui: Add hotkeys to change focus between ui widgets

2018-02-23 Thread Birger Skogeng Pedersen
Hi, I've discovered a bug, I'll be sending a new version soon. br Birger On Fri, Feb 23, 2018 at 11:22 AM, Birger Skogeng Pedersen wrote: > The user cannot change focus between the list of files, the diff view > and the commit message widgets without using the mouse (clicking either of > the fo