contrib/hgk
changeset 22631 d246eb9cabbc
parent 20935 70f9a5d8c06f
child 24512 e5c5ddc3b172
equal deleted inserted replaced
22630:0290982e5ac7 22631:d246eb9cabbc
  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 {