Re: [GIT PULL] git-gui changes for v2.29

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 17, 2020, 20:11 UTC
Message-ID: <xmqqmu0k8vej.fsf@gitster.c.googlers.com>
In-Reply-To: <20201017163411.hk7tqwzyqzvynf6c@yadavpratyush.com>

Pratyush Yadav <me@yadavpratyush.com> writes:

> Junio,
>
> Please pull in the changes in git-gui for v2.29.

OK, thanks.  Pulled but not pushed out (yet).

By the way, next time we might want to arrange subsystem pulls a bit sooner than immediately before the final---what do you think?

Show 30 quoted lines

> The following changes since commit 
> 469725c1a3d44f7e1475f1d37cd13e0824d4ea41:
>
>   Merge branch 'mt/open-worktree' (2020-06-22 20:23:28 +0530)
>
> are available in the Git repository at:
>
>   https://github.com/prati0100/git-gui.git 
>
> for you to fetch changes up to 38c2ac2e2ab00a8bcef528f24cb5b883b4413e5c:
>
>   Merge branch 'sh/blame-tooltip' (2020-10-17 15:05:27 +0530)
>
> ----------------------------------------------------------------
> Pratyush Yadav (3):
>       Merge branch 'st/spaces-tabs-cleanup' into master
>       Merge branch 'st/dark-mode' into master
>       Merge branch 'sh/blame-tooltip'
>
> Serg Tereshchenko (2):
>       git-gui: fix mixed tabs and spaces; prefer tabs
>       git-gui: improve dark mode support
>
> Stefan Haller (1):
>       git-gui: blame: prevent tool tips from sticking around after Command-Tab
>
>  git-gui.sh     | 103 ++++++++++++++++++++++++++++++---------------------------
>  lib/blame.tcl  |   1 +
>  lib/themed.tcl |  38 +++++++++++++++++++++
>  3 files changed, 93 insertions(+), 49 deletions(-)