Update
[llpp.git] / genconfstr.sh
blobe3aa59785de5eb582cab49c50e2900ac1b4fc5b8
1 #!/bin/sh
2 set -eu
4 cat<<EOF
5 open Utils;;
6 type rgb = float * float * float
7 type rgba = float * float * float * float
8 type fitmodel = | FitWidth | FitProportional | FitPage
9 type irect = (int * int * int * int)
10 type colorspace = | Rgb | Bgr | Gray
11 type keymap =
12 | KMinsrt of key | KMinsrl of key list | KMmulti of key list * key list
13 and key = int * int
14 and keyhash = (key, keymap) Hashtbl.t
15 and keystate = |KSnone |KSinto of (key list * key list)
16 and css = string
17 type columns =
18 | Csingle of singlecolumn
19 | Cmulti of multicolumns
20 | Csplit of splitcolumns
21 and mark =
22 | Mark_page
23 | Mark_block
24 | Mark_line
25 | Mark_word
26 and multicolumns = multicol * pagegeom
27 and singlecolumn = pagegeom
28 and splitcolumns = columncount * pagegeom
29 and pagegeom = (pdimno * x * y * (pageno * width * height * leftx)) array
30 and multicol = columncount * covercount * covercount
31 and columncount = int
32 and pdimno = int
33 and pageno = int
34 and x = int and y = int and leftx = int
35 and covercount = int
36 and width = int and height = int
37 and memsize = int and texcount = int
38 and sliceheight = int;;
39 let scrollbvv = 1 and scrollbhv = 2;;
40 EOF
42 init=
43 assi=
44 g() {
45 printf "mutable $1:$2;"
46 init="$init $1=$3;"
47 assi="$assi dst.$1 <- src.$1;"
49 i() { g "$1" int "$2"; }
50 b() { g "$1" bool "$2"; }
51 f() { g "$1" float "$2"; }
52 s() { g "$1" string "$2"; }
53 K() {
54 printf "mutable $1:$2;\n"
55 init="$init $1=$3;"
56 assi="$assi dst.keyhashes <- copykeyhashes src;"
58 P() {
59 printf "mutable $1 : float option;\n"
60 init="$init $1=None;"
61 assi="$assi dst.pax <- if src.pax = None then None else Some 0.0;"
63 echo "type conf = {"
64 i scrollbw 7
65 i scrollh 12
66 i scrollb "scrollbhv lor scrollbvv"
67 b icase true
68 b preload true
69 i pagebias 0
70 b verbose false
71 b debug false
72 i scrollstep 24
73 i hscrollstep 24
74 b maxhfit true
75 i autoscrollstep 2
76 b hlinks false
77 b underinfo false
78 i interpagespace 2
79 f zoom 1.0
80 b presentation false
81 i angle 0
82 i cwinw 1200
83 i cwinh 1000
84 g fitmodel fitmodel FitProportional
85 b trimmargins false
86 g trimfuzz irect "(0,0,0,0)"
87 g memlimit memsize "32 lsl 20"
88 g texcount texcount 256
89 g sliceheight sliceheight 24
90 g thumbw width 76
91 g bgcolor rgb "(0.5, 0.5, 0.5)"
92 g sbarcolor rgba "(0.64, 0.64, 0.64, 0.7)"
93 g sbarhndlcolor rgba "(0.0, 0.0, 0.0, 0.7)"
94 b bedefault false
95 i tilew 2048
96 i tileh 2048
97 g mustoresize memsize "256 lsl 20"
98 b checkers true
99 i aalevel 8
100 s urilauncher E.s '(match platform with |Plinux|Pbsd -> {|xdg-open "%s"|}|Pmacos -> {|open "%s"|}|Punknown -> {|echo "%s"|})'
101 s pathlauncher '{|lp "%s"|}'
102 g colorspace colorspace Rgb
103 b invert false
104 f colorscale 1.
105 g columns columns "Csingle [||]"
106 g beyecolumns "columncount option" None
107 s selcmd '(match platform with |Plinux|Pbsd -> "LC_CTYPE=UTF-8 xclip -i"|Pmacos -> "LC_CTYPE=UTF-8 pbcopy"|Punknown -> "cat")'
108 s paxcmd '"cat"'
109 s passcmd E.s
110 s savecmd E.s
111 b updatecurs true
112 K keyhashes '(string * keyhash) list' \
113 '(let mk n = (n, Hashtbl.create 1) in
114 [ mk "global"; mk "info" ; mk "help"; mk "outline"; mk "listview"
115 ; mk "birdseye"; mk "textentry"; mk "links"; mk "view" ])'
116 i hfsize '12 * Wsi.fontsizefactor ()'
117 f pgscale 1.
118 b usepbo false
119 b wheelbypage false
120 s stcmd "{|echo SyncTex|}"
121 b riani false
122 g paxmark mark Mark_word
123 b leftscroll false
124 s title E.s
125 f lastvisit 0.0
126 b annotinline true
127 b coarseprespos false
128 g css css E.s
129 b usedoccss true
130 s key E.s
131 P pax
133 cat <<EOF
135 let copykeyhashes c = List.map (fun (k, v) -> k, Hashtbl.copy v) c.keyhashes;;
136 let defconf = {$init};;
137 let setconf dst src = $assi;