Reuse digest

Caveat emptor - TOCTOU.

malc committed 6 years ago

Commit 56507f61 parent fec82262 files · +5 −4Browse files

Unified · Split

2 files

         | View
         | LinkNav _ -> ()
         end;
-        let key = try Digest.file docpath |> Digest.to_hex
+        let key =
-                  with _ -> E.s in
+          if emptystr conf.key
-        { conf with autoscrollstep; key }
+          then (try Digest.file docpath |> Digest.to_hex with _ -> E.s)
+          else conf.key
+        in { conf with autoscrollstep; key }
       )
       state.bookmarks
       (now ())

@@ -17,4 +17,3 @@ · 16 unmodified lines
17	just 2 threads (event loop, display/mupdf rendering) is not fast	17	just 2 threads (event loop, display/mupdf rendering) is not fast
18	enough.	18	enough.
19	* TODO wikit - https://github.com/moosotc/llpp/issues/128	19	* TODO wikit - https://github.com/moosotc/llpp/issues/128
20	* TODO digest caching

Keyboard shortcuts