Fix: if {$var != ""} doesn't work if var is a large numerical!
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 13 Jun 1995 14:39:06 +0000 (14:39 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 13 Jun 1995 14:39:06 +0000 (14:39 +0000)
commite7be2b0c589417e177b6261dd25ba0073c2c1676
treeb4d1fb0a9a6fb37cb1298e7b107e027e4f8f9578
parentc72152088563f058a22bacf0efeb0ca442dfaf8c
Fix: if {$var != ""} doesn't work if var is a large numerical!
Highlight when line format is used.
formats/line.tcl
formats/medium.tcl