From e5e65a8c6f53edd10cf6f5a6d8b49416027d5444 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 10 Jul 2014 00:16:34 +0400 Subject: [PATCH] Kill redundant method --- main.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/main.ml b/main.ml index 7c6e4b7..f958ea3 100644 --- a/main.ml +++ b/main.ml @@ -3088,8 +3088,6 @@ object (self) val m_autonarrow = false - method display = super#display - method key key mask = let maxrows = if emptystr state.text @@ -3388,9 +3386,7 @@ let genhistoutlines () = List.fold_left (fun accu (path, c, b, x, a) -> let hist = (path, (c, b, x, a)) in let base = mbtoutf8 (Filename.basename path) in - if emptystr c.title - then (base, 0, Ohistory hist) :: accu - else (c.title, 0, Ohistory hist) :: (base, 1, Ohistory hist) :: accu + (base ^ "\000" ^ c.title, 0, Ohistory hist) :: accu ) [] !list in Array.of_list ol; -- 2.11.4.GIT