Re: [PATCH] [PATCH] git-gui: Add hotkeys to set widget focus
- From
Pratyush Yadav <me@yadavpratyush.com>
- Date
- Sep 2, 2019, 18:19 UTC
- Message-ID
- <20190902181954.zcxuyqrdzs3dzjtq@yadavpratyush.com>
- In-Reply-To
- <20190901193652.21086-1-birger.sp@gmail.com>
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]
Show 7 quoted lines
> +proc select_path_in {widget} {
> + global file_lists last_clicked selected_paths ui_workdir
> + global file_lists_last_clicked
> +
> + set _list_length [llength $file_lists($widget)]
> + if {$_list_length > 0} {
> +You missed removing this extra blank line. Will fix it up locally.
> + set _index $file_lists_last_clicked($widget)
[snip]
-- Regards, Pratyush Yadav