diff options
author | Pat Thoyts <patthoyts@users.sourceforge.net> | 2009-11-06 23:28:01 +0000 |
---|---|---|
committer | Paul Mackerras <paulus@samba.org> | 2009-11-14 21:28:26 +1100 |
commit | 1924d1bc0dc99cd3460d3551671908cc76c09d3b (patch) | |
tree | dcdccbcaf3e7d580203fc4d908cc2fefc3cf536b | |
parent | 7a0ebbf829a327768e6d1c32fe1d092814dce4e8 (diff) | |
download | git-1924d1bc0dc99cd3460d3551671908cc76c09d3b.tar.gz |
gitk: Default to the system colours on Windows
Also convert a button to use the themed widget set.
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
Signed-off-by: Paul Mackerras <paulus@samba.org>
-rwxr-xr-x | gitk | 17 |
1 files changed, 12 insertions, 5 deletions
@@ -10732,7 +10732,7 @@ proc doprefs {} { ${NS}::label $top.cdisp -text [mc "Colors: press to choose"] grid $top.cdisp - -sticky w -pady 10 label $top.ui -padx 40 -relief sunk -background $uicolor - button $top.uibut -text [mc "Interface"] -font optionfont \ + ${NS}::button $top.uibut -text [mc "Interface"] \ -command [list choosecolor uicolor {} $top.ui [mc "interface"] setui] grid x $top.uibut $top.ui -sticky w label $top.bg -padx 40 -relief sunk -background $bgcolor @@ -11350,13 +11350,20 @@ if {[tk windowingsystem] eq "aqua"} { } set colors {green red blue magenta darkgrey brown orange} -set uicolor grey85 -set bgcolor white -set fgcolor black +if {[tk windowingsystem] eq "win32"} { + set uicolor SystemButtonFace + set bgcolor SystemWindow + set fgcolor SystemButtonText + set selectbgcolor SystemHighlight +} else { + set uicolor grey85 + set bgcolor white + set fgcolor black + set selectbgcolor gray85 +} set diffcolors {red "#00a000" blue} set diffcontext 3 set ignorespace 0 -set selectbgcolor gray85 set markbgcolor "#e0e0ff" set circlecolors {white blue gray blue blue} |