1 set mainfont {{Bitstream Vera Sans} 8}
3 set uifont {Helvetica 9 bold}
14 set showlocalchanges 1
15 set datetimeformat {%Y-%m-%d %H:%M:%S}
21 set colors {green red blue magenta darkgrey brown orange}
22 set diffcolors {{#ff6b66} #005400 blue}
23 set markbgcolor #e0e0ff
25 set selectbgcolor gray85
28 set geometry(main) 959x1054+535+86
29 set geometry(state) normal
30 set geometry(topwidth) 959
31 set geometry(topheight) 422
32 set geometry(pwsash0) "619 1"
33 set geometry(pwsash1) "838 1"
34 set geometry(botwidth) 669
35 set geometry(botheight) 627