use UTop.smart_accept

Ignore-this: 5a561be82ed2ff9f4d0aed99e5320c33

darcs-hash:20110804152939-c41ad-d44f69ddd40e6adeff7d3a4ecf5bac70391ec3cf
This commit is contained in:
Jeremie Dimino 2011-08-04 17:29:39 +02:00
parent 1e561069cf
commit c8f68e4c07
1 changed files with 1 additions and 1 deletions

View File

@ -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 -> begin
| LTerm_read_line.Accept :: actions when !UTop.smart_accept -> 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