6 set mainfont {{Bitstream Vera Sans} 8}
8 set uifont {Helvetica 9 bold}
19 set showlocalchanges 1
20 set datetimeformat {%Y-%m-%d %H:%M:%S}
26 set colors {green red blue magenta darkgrey brown orange}
27 set diffcolors {{#ff6b66} #005400 blue}
28 set markbgcolor #e0e0ff
30 set selectbgcolor gray85
33 set geometry(main) 959x1054+535+86
34 set geometry(state) normal
35 set geometry(topwidth) 959
36 set geometry(topheight) 422
37 set geometry(pwsash0) "619 1"
38 set geometry(pwsash1) "838 1"
39 set geometry(botwidth) 669
40 set geometry(botheight) 627