Re: [PATCH v4] git-gui: Add hotkeys to set widget focus

2019-09-03 Thread Pratyush Yadav
Thanks for the re-roll. Before you send out the v5, a couple more things you missed. Other than those, LGTM. On 03/09/19 08:07PM, Birger Skogeng Pedersen wrote: [snip] > @@ -2640,6 +2642,27 @@ proc show_less_context {} { > } > } > > +proc select_path_in {widget} { There was a suggestion

Re: [PATCH v4] git-gui: Add hotkeys to set widget focus

2019-09-03 Thread Birger Skogeng Pedersen
Hi Pratyush, I just realised I had forgotten about the local variable prefixed with an underscore. So v5 of the patch will be coming up. Also I got quite uncertain, should I have added you in the commit msg somehow? I've seen elsewhere that people add the "Signed-off-by" line with the name of the

Re: [PATCH v4] git-gui: Add hotkeys to set widget focus

2019-09-03 Thread Birger Skogeng Pedersen
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 t

[PATCH v4] git-gui: Add hotkeys to set widget focus

2019-09-03 Thread Birger Skogeng Pedersen
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). With this patch, the user may set ui focus to the previously selected path in either the "Unstaged Changes" or "Staged Changes" widget