Fix reading of bookmark files with \n in them

This commit is contained in:
John Whitington 2019-04-23 18:46:31 +01:00
parent c7901438e4
commit 9cb5347618
1 changed files with 2 additions and 2 deletions

View File

@ -953,8 +953,8 @@ let verify_bookmarks pdf lastlevel endpage marks =
let rec fixup_characters prev = function let rec fixup_characters prev = function
| [] -> rev prev | [] -> rev prev
| '\\'::'\\'::t -> fixup_characters ('\\'::prev) t | '\\'::'\\'::t -> fixup_characters ('\\'::prev) t
| '\\'::'"'::t -> fixup_characters ('\"'::prev) t | '\\'::'"'::t -> fixup_characters ('"'::prev) t
| '\\'::'\n'::t -> fixup_characters ('\n'::prev) t (* This can never have been right? *) | '\\'::'n'::t -> fixup_characters ('\n'::prev) t
| h::t -> fixup_characters (h::prev) t | h::t -> fixup_characters (h::prev) t
let debug_bookmark_string s = let debug_bookmark_string s =