From 3b82ef35665ef956bf6d80d3af1ad63ceff827bf Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 7 Aug 2015 03:16:39 +0300 Subject: [PATCH] Consistency --- main.ml | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/main.ml b/main.ml index 4aea763..160b95c 100644 --- a/main.ml +++ b/main.ml @@ -4681,16 +4681,10 @@ let enterselector sourcetype = ) ;; -let enteroutlinemode = - let f = enterselector `outlines in - fun () -> f "Document has no outline"; +let enteroutlinemode () = enterselector `outlines "Document has no outline";; +let enterbookmarkmode () = + enterselector `bookmarks "Document has no bookmarks (yet)" ;; - -let enterbookmarkmode = - let f = enterselector `bookmarks in - fun () -> f "Document has no bookmarks (yet)"; -;; - let enterhistmode () = enterselector `history "No history (yet)";; let quickbookmark ?title () = -- 2.11.4.GIT