##// END OF EJS Templates
hgk: define bookmark colour explicitly, as Tk 8.6 has changed their meaning
Andrew Shadura -
r22631:d246eb9c default
parent child Browse files
Show More
@@ -1271,9 +1271,9 b' proc drawtags {id x xt y1} {'
1271 set rowtextx($idline($id)) [expr {$xr + $linespc}]
1271 set rowtextx($idline($id)) [expr {$xr + $linespc}]
1272 } elseif {[incr nbookmarks -1] >= 0} {
1272 } elseif {[incr nbookmarks -1] >= 0} {
1273 # draw a tag
1273 # draw a tag
1274 set col gray50
1274 set col "#7f7f7f"
1275 if {[string compare $bookmarkcurrent $tag] == 0} {
1275 if {[string compare $bookmarkcurrent $tag] == 0} {
1276 set col gray
1276 set col "#bebebe"
1277 }
1277 }
1278 set xl [expr $xl - $delta/2]
1278 set xl [expr $xl - $delta/2]
1279 $canv create polygon $x $yt $xr $yt $xr $yb $x $yb \
1279 $canv create polygon $x $yt $xr $yt $xr $yb $x $yb \
General Comments 0
You need to be logged in to leave comments. Login now