Amend tab ordering and text widget border and highlighting.
authorPat Thoyts <patthoyts@users.sourceforge.net>
Sat, 1 Oct 2016 23:13:07 +0000 (00:13 +0100)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Sat, 1 Oct 2016 23:13:07 +0000 (00:13 +0100)
commit30508bc...e347db474b04a392cd646672a56d43be
treed30fad3...5158ba83392e4a31478721acc4f46341copy hash to clipboard (tree)
parent088ad75...c279614849f92e5ae0a2b579b26719ebcopy hash to clipboard (diff)
git-gui.sh
lib/themed.tcl