From ffd1266152b7b01b2c3e5e330eef761ac2797793 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 25 Oct 2012 02:28:34 +0400 Subject: [PATCH] gotounder already adds nav point --- main.ml | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/main.ml b/main.ml index 3c95e78..0529c56 100644 --- a/main.ml +++ b/main.ml @@ -4856,11 +4856,10 @@ let viewkeyboard key mask = state.glinks <- true; let mode = state.mode in state.mode <- Textentry ( - (":", "", None, linknentry, linkndone (fun under -> - addnav (); - gotounder under - ), false - ), fun _ -> + ( + ":", "", None, linknentry, linkndone (fun under -> gotounder under), + false + ), fun _ -> state.glinks <- false; state.mode <- mode ); -- 2.11.4.GIT