# HG changeset patch # User Andrew Shadura # Date 1411903660 -7200 # Node ID d246eb9cabbc3f7b5d129e94380d3c125d11bde1 # Parent 0290982e5ac7e35c4b9d16682f9833c8bcd0955b hgk: define bookmark colour explicitly, as Tk 8.6 has changed their meaning diff -r 0290982e5ac7 -r d246eb9cabbc contrib/hgk --- a/contrib/hgk Tue Sep 30 14:32:49 2014 -0700 +++ b/contrib/hgk Sun Sep 28 13:27:40 2014 +0200 @@ -1271,9 +1271,9 @@ set rowtextx($idline($id)) [expr {$xr + $linespc}] } elseif {[incr nbookmarks -1] >= 0} { # draw a tag - set col gray50 + set col "#7f7f7f" if {[string compare $bookmarkcurrent $tag] == 0} { - set col gray + set col "#bebebe" } set xl [expr $xl - $delta/2] $canv create polygon $x $yt $xr $yt $xr $yb $x $yb \