142 lines
3.4 KiB
Bash
142 lines
3.4 KiB
Bash
#!/bin/sh
|
|
set -eu
|
|
|
|
cat<<EOF
|
|
type rgb = (float * float * float)
|
|
and rgba = (float * float * float * float)
|
|
and fitmodel = | FitWidth | FitProportional | FitPage
|
|
and irect = (int * int * int * int)
|
|
and colorspace = | Rgb | Gray
|
|
and keymap =
|
|
| KMinsrt of key | KMinsrl of key list | KMmulti of (key list * key list)
|
|
and key = (int * int)
|
|
and keyhash = (key, keymap) Hashtbl.t
|
|
and keystate = | KSnone | KSinto of (key list * key list)
|
|
and css = string and dcf = string and hcs = string
|
|
and columns =
|
|
| Csingle of singlecolumn
|
|
| Cmulti of multicolumns
|
|
| Csplit of splitcolumns
|
|
and mark =
|
|
| MarkPage
|
|
| MarkBlock
|
|
| MarkLine
|
|
| MarkWord
|
|
and multicolumns = (multicol * pagegeom)
|
|
and singlecolumn = pagegeom
|
|
and splitcolumns = (columncount * pagegeom)
|
|
and pagegeom = (pdimno * x * y * (pageno * w * h * leftx)) array
|
|
and multicol = (columncount * covercount * covercount)
|
|
and columncount = int
|
|
and pdimno = int and pageno = int
|
|
and x = int and y = int and leftx = int and w = int and h = int
|
|
and covercount = int
|
|
and memsize = int and texcount = int
|
|
and sliceheight = int
|
|
and zoom = float
|
|
let scrollbvv = 1 and scrollbhv = 2
|
|
EOF
|
|
|
|
init=
|
|
assi=
|
|
g() {
|
|
printf "mutable $1:$2;"
|
|
init="$init $1=$3;"
|
|
assi="$assi dst.$1 <- src.$1;"
|
|
}
|
|
i() { g "$1" int "$2"; }
|
|
b() { g "$1" bool "$2"; }
|
|
f() { g "$1" float "$2"; }
|
|
s() { g "$1" string "$2"; }
|
|
K() {
|
|
printf "mutable $1:$2;\n"
|
|
init="$init $1=$3;"
|
|
assi="$assi dst.keyhashes <- copykeyhashes src;"
|
|
}
|
|
P() {
|
|
printf "mutable $1 : float option;\n"
|
|
init="$init $1=None;"
|
|
assi="$assi dst.pax <- if src.pax = None then None else Some 0.0;"
|
|
}
|
|
echo "type conf = {"
|
|
i scrollbw 7
|
|
i scrollh 12
|
|
i scrollb "scrollbhv lor scrollbvv"
|
|
b icase true
|
|
b preload true
|
|
i pagebias 0
|
|
b verbose false
|
|
b debug false
|
|
i scrollstep 24
|
|
i hscrollstep 24
|
|
b maxhfit true
|
|
i autoscrollstep 2
|
|
b hlinks false
|
|
b underinfo false
|
|
i interpagespace 2
|
|
f zoom 1.0
|
|
b presentation false
|
|
i angle 0
|
|
i cwinw 1800
|
|
i cwinh 1500
|
|
g fitmodel fitmodel FitProportional
|
|
b trimmargins false
|
|
g trimfuzz irect "(0,0,0,0)"
|
|
g memlimit memsize "128 lsl 20"
|
|
g texcount texcount 256
|
|
g sliceheight sliceheight 24
|
|
g thumbw w 76
|
|
g bgcolor rgb "(0.5, 0.5, 0.5)"
|
|
g papercolor rgba "(1.0, 1.0, 1.0, 0.0)"
|
|
g sbarcolor rgba "(0.64, 0.64, 0.64, 0.7)"
|
|
g sbarhndlcolor rgba "(0.0, 0.0, 0.0, 0.7)"
|
|
g texturecolor rgba "(0.0, 0.0, 0.0, 0.0)"
|
|
i tilew 2048
|
|
i tileh 2048
|
|
g mustoresize memsize "256 lsl 20"
|
|
i aalevel 8
|
|
s urilauncher "{|$uopen|}"
|
|
s pathlauncher "{|$print|}"
|
|
g colorspace colorspace Rgb
|
|
b invert false
|
|
f colorscale 1.
|
|
g columns columns "Csingle [||]"
|
|
g beyecolumns "columncount option" None
|
|
s selcmd "{|$clip|}"
|
|
s pastecmd "{|$paste|}"
|
|
s paxcmd '{|echo PAX "%s">&2|}'
|
|
s passcmd Utils.E.s
|
|
s savecmd Utils.E.s
|
|
b updatecurs true
|
|
K keyhashes '(string * keyhash) list' \
|
|
'(let mk n = (n, Hashtbl.create 1) in
|
|
[ mk "global"; mk "info" ; mk "help"; mk "outline"; mk "listview"
|
|
; mk "birdseye"; mk "textentry"; mk "links"; mk "view" ])'
|
|
i hfsize 'Wsi.fontsizescale 12'
|
|
f pgscale 1.
|
|
b wheelbypage false
|
|
s stcmd "{|echo SyncTex|}"
|
|
b riani false
|
|
g paxmark mark MarkWord
|
|
b leftscroll false
|
|
s title Utils.E.s
|
|
f lastvisit 0.0
|
|
b annotinline true
|
|
b coarseprespos false
|
|
g css css Utils.E.s
|
|
b usedoccss true
|
|
s key Utils.E.s
|
|
P pax
|
|
g dcf dcf Utils.E.s
|
|
s hcs "{|aoeuidhtns|}"
|
|
i rlw 420
|
|
i rlh 595
|
|
i rlem 11
|
|
|
|
cat <<EOF
|
|
}
|
|
let copykeyhashes c = List.map (fun (k, v) -> k, Hashtbl.copy v) c.keyhashes
|
|
let defconf = {$init}
|
|
let setconf dst src = $assi;
|
|
EOF
|