#!/bin/sh set -eu cat<&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 < k, Hashtbl.copy v) c.keyhashes let defconf = {$init} let setconf dst src = $assi; EOF