From e18e5d018b68d02188346532b023a65d1b219716 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 23 Mar 2013 23:30:50 +0400 Subject: [PATCH] Use proper path when saving/loading configuration --- main.ml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 228b32c..3479dd6 100644 --- a/main.ml +++ b/main.ml @@ -6780,7 +6780,12 @@ struct let f (h, dc) = let pc, pb, px, pa = try - Hashtbl.find h (Filename.basename state.origin) + let key = + if String.length state.origin = 0 + then state.path + else state.origin + in + Hashtbl.find h (Filename.basename key) with Not_found -> dc, [], 0, emptyanchor in setconf defconf dc; @@ -7109,7 +7114,9 @@ struct pan, { c with beyecolumns = beyecolumns; columns = columns } | _ -> state.x, conf in - let basename = Filename.basename state.origin in + let basename = Filename.basename + (if String.length state.origin = 0 then state.path else state.origin) + in adddoc basename pan (getanchor ()) (let conf = let autoscrollstep = -- 2.11.4.GIT