| Line 27... |
Line 27... |
#
|
#
|
# Author(s):
|
# Author(s):
|
# - Olivier Girard, olgirard@gmail.com
|
# - Olivier Girard, olgirard@gmail.com
|
#
|
#
|
#------------------------------------------------------------------------------
|
#------------------------------------------------------------------------------
|
# $Rev: 158 $
|
# $Rev: 163 $
|
# $LastChangedBy: olivier.girard $
|
# $LastChangedBy: olivier.girard $
|
# $LastChangedDate: 2012-10-15 23:49:09 +0200 (Mon, 15 Oct 2012) $
|
# $LastChangedDate: 2012-10-26 23:40:17 +0200 (Fri, 26 Oct 2012) $
|
#------------------------------------------------------------------------------
|
#------------------------------------------------------------------------------
|
|
|
###############################################################################
|
###############################################################################
|
# #
|
# #
|
# SOURCE LIBRARIES #
|
# SOURCE LIBRARIES #
|
| Line 994... |
Line 994... |
set slant [font actual $font -slant];
|
set slant [font actual $font -slant];
|
set underline [font actual $font -underline];
|
set underline [font actual $font -underline];
|
set overstrike [font actual $font -overstrike];
|
set overstrike [font actual $font -overstrike];
|
|
|
# Create normal font
|
# Create normal font
|
set font_normal "-family $family -size $size -weight normal -slant $slant -underline $underline -overstrike $overstrike"
|
set font_normal "-family \"$family\" -size $size -weight normal -slant $slant -underline $underline -overstrike $overstrike"
|
|
|
# Create bold font
|
# Create bold font
|
set font_bold "-family $family -size $size -weight bold -slant $slant -underline $underline -overstrike $overstrike"
|
set font_bold "-family \"$family\" -size $size -weight bold -slant $slant -underline $underline -overstrike $overstrike"
|
|
|
if {$CpuNr_next==0} {
|
if {$CpuNr_next==0} {
|
.menu.cpu0 configure -relief sunken -font $font_bold -fg "\#00ae00" -activeforeground "\#00ae00"
|
.menu.cpu0 configure -relief sunken -font $font_bold -fg "\#00ae00" -activeforeground "\#00ae00"
|
.menu.cpu1 configure -relief raised -font $font_normal -fg "\#000000" -activeforeground "\#000000"
|
.menu.cpu1 configure -relief raised -font $font_normal -fg "\#000000" -activeforeground "\#000000"
|
.menu.cpu2 configure -relief raised -font $font_normal -fg "\#000000" -activeforeground "\#000000"
|
.menu.cpu2 configure -relief raised -font $font_normal -fg "\#000000" -activeforeground "\#000000"
|
