gitk: small quality of life improvements for themed Tk#1909
Open
sommer wants to merge 3 commits intogitgitgadget:masterfrom
Open
gitk: small quality of life improvements for themed Tk#1909sommer wants to merge 3 commits intogitgitgadget:masterfrom
sommer wants to merge 3 commits intogitgitgadget:masterfrom