Unified · Split
| @@ -635,7 +635,6 @@ let getanchor () = · 634 unmodified lines | |||
| 635 | ;; | 635 | ;; |
| 636 | 636 | ||
| 637 | let fontpath = ref E.s;; | 637 | let fontpath = ref E.s;; |
| 638 | let bedefault = ref false;; | ||
| 639 | 638 | ||
| 640 | type historder = [ `lastvisit | `title | `path | `file ];; | 639 | type historder = [ `lastvisit | `title | `path | `file ];; |
| 641 | 640 | ||
| @@ -1380,7 +1379,6 @@ let keystostrlist c = · 738 unmodified lines | |||
| 1380 | 1379 | ||
| 1381 | let save1 bb leavebirdseye x h dc = | 1380 | let save1 bb leavebirdseye x h dc = |
| 1382 | let uifontsize = fstate.fontsize in | 1381 | let uifontsize = fstate.fontsize in |
| 1383 | let dc = if !bedefault then conf else dc in | ||
| 1384 | Buffer.add_string bb "<llppconfig>\n"; | 1382 | Buffer.add_string bb "<llppconfig>\n"; |
| 1385 | if nonemptystr !fontpath | 1383 | if nonemptystr !fontpath |
| 1386 | then Printf.bprintf bb "<ui-font size='%d'><![CDATA[%s]]></ui-font>\n" | 1384 | then Printf.bprintf bb "<ui-font size='%d'><![CDATA[%s]]></ui-font>\n" |
| @@ -2408,12 +2408,6 @@ let enterinfomode = · 2407 unmodified lines | |||
| 2408 | ) 1 | 2408 | ) 1 |
| 2409 | else src#caption2 "Position" (fun () -> describe_layout state.layout) 1; | 2409 | else src#caption2 "Position" (fun () -> describe_layout state.layout) 1; |
| 2410 | 2410 | ||
| 2411 | sep (); | ||
| 2412 | src#bool ~offset:0 ~btos:(fun v -> if v then "(on)" else "(off)") | ||
| 2413 | "Save these parameters as global defaults at exit" | ||
| 2414 | (fun () -> !Config.bedefault) | ||
| 2415 | (fun v -> Config.bedefault := v); | ||
| 2416 | |||
| 2417 | sep (); | 2411 | sep (); |
| 2418 | let btos b = Utf8syms.(if b then lguillemet else rguillemet) in | 2412 | let btos b = Utf8syms.(if b then lguillemet else rguillemet) in |
| 2419 | src#bool ~offset:0 ~btos "Extended parameters" | 2413 | src#bool ~offset:0 ~btos "Extended parameters" |