From e1978fa17df2bf6733d5ecccf8e22076cadf1073 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 23 Mar 2013 18:38:27 +0400 Subject: [PATCH] Handle path names properly --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 302d439..3db5670 100644 --- a/main.ml +++ b/main.ml @@ -4737,9 +4737,9 @@ let enterinfomode = sep (); src#caption "Location" 0; - src#caption ("Path\t" ^ state.path) 1; + src#caption ("Path\t" ^ mbtoutf8 state.path) 1; if String.length state.origin > 0 - then src#caption ("Orign\t" ^ state.origin) 1; + then src#caption ("Orign\t" ^ mbtoutf8 state.origin) 1; src#reset prevmode prevuioh; in -- 2.11.4.GIT