]> git.ipfire.org Git - thirdparty/git.git/commit
Merge https://github.com/prati0100/git-gui
authorJunio C Hamano <gitster@pobox.com>
Sat, 17 Oct 2020 20:10:58 +0000 (13:10 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 17 Oct 2020 20:10:58 +0000 (13:10 -0700)
commit430cabb104103251958ac0739509e0a542e5c774
tree707b78ab649e53b37c0cf08ee8cb339bfe994cea
parenta5fa49ff0a8f3252c6bff49f92b85e7683868f8a
parent38c2ac2e2ab00a8bcef528f24cb5b883b4413e5c
Merge https://github.com/prati0100/git-gui

* https://github.com/prati0100/git-gui:
  git-gui: blame: prevent tool tips from sticking around after Command-Tab
  git-gui: improve dark mode support
  git-gui: fix mixed tabs and spaces; prefer tabs
git-gui/git-gui.sh
git-gui/lib/blame.tcl
git-gui/lib/themed.tcl