contrib/hgk
changeset 5662 ab5a455cb67c
parent 5506 be20a42f27a1
child 5859 e0f86c1e3ae5
equal deleted inserted replaced
5661:ba40e267762b 5662:ab5a455cb67c
  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