tree 707b78ab649e53b37c0cf08ee8cb339bfe994cea
parent a5fa49ff0a8f3252c6bff49f92b85e7683868f8a
parent 38c2ac2e2ab00a8bcef528f24cb5b883b4413e5c
author Junio C Hamano <gitster@pobox.com> 1602965458 -0700
committer Junio C Hamano <gitster@pobox.com> 1602965458 -0700

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