162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
|
insertTaggedText $t $doc
$t configure -state disabled
}
proc createDocFonts {} {
if {[catch {font create docFont -family Helvetica -size -16}]} return
eval font create docFontB [font configure docFont] -weight bold
set h [font metrics docFont -linespace]
set t [expr {-$h + 4}]
font create docFontP -family Courier -size $t
for {} {$t > -20} {incr t -1} {
font configure docFontP -size $t
if {[font metrics docFontP -linespace] >= $h} break
|
|
|
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
|
insertTaggedText $t $doc
$t configure -state disabled
}
proc createDocFonts {} {
if {[catch {font create docFont -family Helvetica -size -16}]} return
font create docFontB {*}[font configure docFont] -weight bold
set h [font metrics docFont -linespace]
set t [expr {-$h + 4}]
font create docFontP -family Courier -size $t
for {} {$t > -20} {incr t -1} {
font configure docFontP -size $t
if {[font metrics docFontP -linespace] >= $h} break
|