It seems that the problem come when there is 'bold' or anything else
after the font without the font size.
Here is a patch which corrects this:
--- tkdiff.orig 2008-04-18 10:20:54.556590000 +0200
+++ tkdiff 2008-04-18 10:25:33.459190000 +0200
@@ -155,7 +155,11 @@
#debug-info "entryfont $entryfont"
set font [list $textfont]
-set bold [list [concat $textfont bold]]
+if {$tk_version < 8.5} {
+ set bold [list [concat $textfont bold]]
+} else {
+ set bold [list [concat $textfont -12 bold]]
+}
#debug-info "font: $font"
#debug-info "bold: $bold\n"
option add *Label.font $labelfont userDefault
--
Philippe Poilbarbe - CLS Space Oceanography Division
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
