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

2019-09-03 Thread Bert Wesarg
On Tue, Sep 3, 2019 at 4:22 PM Pratyush Yadav wrote: > > On 02/09/19 09:42PM, Bert Wesarg wrote: > > On Sun, Sep 1, 2019 at 9:37 PM Birger Skogeng Pedersen > > wrote: > > > > > > The user cannot change focus between the list of files, the diff view and > > > the commit message widgets without usi

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

2019-09-03 Thread Pratyush Yadav
On 02/09/19 09:42PM, Bert Wesarg wrote: > On Sun, Sep 1, 2019 at 9:37 PM 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). > > > > With

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

2019-09-03 Thread Birger Skogeng Pedersen
Hi Bert, On Mon, Sep 2, 2019 at 9:42 PM Bert Wesarg wrote: > So we only remember the lno in the widget, that could mean, that we > select the wrong file after a rescan, which shifted the previous path > one down. Can we remember the pathname instead, and try to find this > again in the file list

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

2019-09-02 Thread Bert Wesarg
On Sun, Sep 1, 2019 at 9:37 PM 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). > > With this patch, the user may set ui focus to the previously

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

2019-09-02 Thread Birger Skogeng Pedersen
Ah, sorry I misunderstood you. Thanks, Birger

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

2019-09-02 Thread Pratyush Yadav
On 02/09/19 08:35PM, Birger Skogeng Pedersen wrote: > On Mon, Sep 2, 2019 at 8:19 PM Pratyush Yadav wrote: > > You missed removing this extra blank line. Will fix it up locally. > > > > > + set _index $file_lists_last_clicked($widget) > > [snip] > > > To be honest I felt the blank li

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

2019-09-02 Thread Birger Skogeng Pedersen
On Mon, Sep 2, 2019 at 8:19 PM Pratyush Yadav wrote: > You missed removing this extra blank line. Will fix it up locally. > > > + set _index $file_lists_last_clicked($widget) > [snip] To be honest I felt the blank line there was appropriate, in an attempt to follow the same code styl

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

2019-09-02 Thread Pratyush Yadav
Hi Birger, Other than a minor change that I can do locally, this looks good. I'll test it a bit and then merge it. Thanks. On 01/09/19 09:36PM, Birger Skogeng Pedersen wrote: [snip] > +proc select_path_in {widget} { > + global file_lists last_clicked selected_paths ui_workdir > + global

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

2019-09-01 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