Unified · Split
| @@ -1403,22 +1403,20 @@ let save1 bb leavebirdseye x h dc = · 1402 unmodified lines | |||
| 1403 | then ( | 1403 | then ( |
| 1404 | adddoc docpath pan (getanchor ()) | 1404 | adddoc docpath pan (getanchor ()) |
| 1405 | ( | 1405 | ( |
| 1406 | let autoscrollstep = | ||
| 1407 | match !S.autoscroll with | ||
| 1408 | | Some step -> step | ||
| 1409 | | None -> conf.autoscrollstep | ||
| 1410 | in | ||
| 1411 | begin match !S.mode with | 1406 | begin match !S.mode with |
| 1412 | | Birdseye beye -> leavebirdseye beye true | 1407 | | Birdseye beye -> leavebirdseye beye true |
| 1413 | | Textentry _ | 1408 | | Textentry _ |
| 1414 | | View | 1409 | | View |
| 1415 | | LinkNav _ -> () | 1410 | | LinkNav _ -> () |
| 1416 | end; | 1411 | end; |
| 1417 | let key = | 1412 | { conf with |
| 1418 | if emptystr conf.key | 1413 | autoscrollstep = (match !S.autoscroll with |
| 1419 | then (try Digest.file docpath |> Digest.to_hex with _ -> E.s) | 1414 | | Some step -> step |
| 1420 | else conf.key | 1415 | | None -> conf.autoscrollstep) |
| 1421 | in { conf with autoscrollstep; key } | 1416 | ; key = (if emptystr conf.key |
| 1417 | then (try Digest.file docpath |> Digest.to_hex with _ -> E.s) | ||
| 1418 | else conf.key) | ||
| 1419 | } | ||
| 1422 | ) | 1420 | ) |
| 1423 | !S.bookmarks | 1421 | !S.bookmarks |
| 1424 | (now ()) | 1422 | (now ()) |