From 8c7153237db5784f67c8f90f3aaffb1e8a211219 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 19 Dec 2012 23:34:46 +0400 Subject: [PATCH] Do not store captionless bookmarks --- main.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index fc0be28..6502deb 100644 --- a/main.ml +++ b/main.ml @@ -5097,7 +5097,10 @@ let viewkeyboard key mask = | 109 -> (* m *) let ondone s = match state.layout with - | l :: _ -> state.bookmarks <- (s, 0, getanchor1 l) :: state.bookmarks + | l :: _ -> + if String.length s > 0 + then + state.bookmarks <- (s, 0, getanchor1 l) :: state.bookmarks | _ -> () in enttext ("bookmark: ", "", None, textentry, ondone, true) -- 2.11.4.GIT