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 |
|
1274 | set col "#7f7f7f" | |
1275 | if {[string compare $bookmarkcurrent $tag] == 0} { |
|
1275 | if {[string compare $bookmarkcurrent $tag] == 0} { | |
1276 |
set col |
|
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