equal
deleted
inserted
replaced
3842 set maxgraphpct 50 |
3842 set maxgraphpct 50 |
3843 set maxwidth 16 |
3843 set maxwidth 16 |
3844 |
3844 |
3845 set colors {green red blue magenta darkgrey brown orange} |
3845 set colors {green red blue magenta darkgrey brown orange} |
3846 set authorcolors { |
3846 set authorcolors { |
3847 deeppink mediumorchid blue burlywood4 goldenrod slateblue red2 navy dimgrey |
3847 black blue deeppink mediumorchid blue burlywood4 goldenrod slateblue red2 navy dimgrey |
3848 } |
3848 } |
3849 |
3849 |
3850 catch {source ~/.hgk} |
3850 catch {source ~/.hgk} |
3851 |
3851 |
3852 if {$curidfont == ""} { # initialize late based on current mainfont |
3852 if {$curidfont == ""} { # initialize late based on current mainfont |