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

Junio,

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

Dscho,

I still have some open points about intent-to-add files that I'm not clear about. Let's target support for them in the next release.

Regards, Pratyush Yadav

--- 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(-)