From 65fc1791c7e9af783cb06c0f41c8c20f7453f3bb Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 4 Aug 2011 21:18:28 +0200 Subject: [PATCH] only handle Accept when in edition mode Ignore-this: dd48ad5ed053979210179d2336ff5d19 darcs-hash:20110804191828-c41ad-5867e30933324360da4a738da02eeb025f11d9d6 --- src/uTop_console.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/uTop_console.ml b/src/uTop_console.ml index 97b1aee..f93efab 100644 --- a/src/uTop_console.ml +++ b/src/uTop_console.ml @@ -128,7 +128,7 @@ object(self) inherit [Zed_utf8.t] LTerm_read_line.term term as super_term method exec = function - | LTerm_read_line.Accept :: actions when !UTop.smart_accept -> begin + | LTerm_read_line.Accept :: actions when !UTop.smart_accept && S.value self#mode = LTerm_read_line.Edition -> begin Zed_macro.add self#macro LTerm_read_line.Accept; let tokens = UTop_lexer.lex_string (pending ^ Zed_rope.to_string (Zed_edit.text self#edit)) in match last tokens with