Unified · Split
| @@ -345,14 +345,15 @@ module S = struct · 344 unmodified lines | |||
| 345 | let uioh : uioh ref = ref nouioh | 345 | let uioh : uioh ref = ref nouioh |
| 346 | let outlines : outline array ref = ref [||] | 346 | let outlines : outline array ref = ref [||] |
| 347 | let bookmarks : outline list ref = ref [] | 347 | let bookmarks : outline list ref = ref [] |
| 348 | let geomcmds : (string * ((string * (unit -> unit)) list)) ref = ref (E.s, []) | 348 | let geomcmds : (string * ((string * (unit -> unit)) list)) ref |
| 349 | = ref (E.s, []) | ||
| 349 | let memused : memsize ref = ref 0 | 350 | let memused : memsize ref = ref 0 |
| 350 | let gen : gen ref = ref 0 | 351 | let gen : gen ref = ref 0 |
| 351 | let autoscroll : int option ref = ref None | 352 | let autoscroll : int option ref = ref None |
| 352 | let help : helpitem array ref = ref E.a | 353 | let help : helpitem array ref = ref E.a |
| 353 | let docinfo : (int * string) list ref = ref [] | 354 | let docinfo : (int * string) list ref = ref [] |
| 354 | let hists : hists ref = | 355 | let hists : hists ref |
| 355 | ref { pat = cbnew 10 E.s; pag = cbnew 10 E.s; sel = cbnew 10 E.s; } | 356 | = ref { pat = cbnew 10 E.s; pag = cbnew 10 E.s; sel = cbnew 10 E.s; } |
| 356 | let prevzoom = ref (1.0, 0) | 357 | let prevzoom = ref (1.0, 0) |
| 357 | let progress = ref ~-.1.0 | 358 | let progress = ref ~-.1.0 |
| 358 | let mpos = ref (-1, -1) | 359 | let mpos = ref (-1, -1) |