From: malc Date: Wed, 24 Oct 2012 22:28:34 +0000 (+0400) Subject: gotounder already adds nav point X-Git-Tag: v14~111 X-Git-Url: https://repo.or.cz/w/llpp.git/commitdiff_plain/ffd1266152b7b01b2c3e5e330eef761ac2797793 gotounder already adds nav point --- 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 );