From fafc0c6ff8fb5d0371462c2b4f3dada023a2a140 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 27 Oct 2012 14:52:11 +0400 Subject: [PATCH] Cosmetics --- main.ml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/main.ml b/main.ml index b4e8401..4142b29 100644 --- a/main.ml +++ b/main.ml @@ -4841,12 +4841,10 @@ let viewkeyboard key mask = state.glinks <- true; let mode = state.mode in state.mode <- Textentry ( - ( - ":", "", None, linknentry, linkndone (fun under -> gotounder under), - false - ), fun _ -> + (":", "", None, linknentry, linkndone gotounder, false), + (fun _ -> state.glinks <- false; - state.mode <- mode + state.mode <- mode) ); state.text <- ""; G.postRedisplay "view:linkent(F)" -- 2.11.4.GIT