equal
deleted
inserted
replaced
1269 -width 1 -outline black -fill yellow -tags tag.$id] |
1269 -width 1 -outline black -fill yellow -tags tag.$id] |
1270 $canv bind $t <1> [list showtag $tag 1] |
1270 $canv bind $t <1> [list showtag $tag 1] |
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 \ |
1280 -width 1 -outline black -fill $col -tags tag.$id |
1280 -width 1 -outline black -fill $col -tags tag.$id |
1281 } else { |
1281 } else { |