always show the box for backward search

2013-04-26 09:57:41 +01:00 · 2013-04-26 09:57:41 +01:00 · c1bb8be73f
parent 8da5b260fa
commit c1bb8be73f
1 changed files with 1 additions and 1 deletions
--- a/src/lib/uTop_main.ml
+++ b/src/lib/uTop_main.ml
@ -179,7 +179,7 @@ class read_phrase ~term = object(self)
    in
    self#set_completion pos words

-  method show_box = UTop.get_show_box ()
+  method show_box = S.value self#mode <> LTerm_read_line.Edition || UTop.get_show_box ()

  initializer
    (* Set the source signal for the size of the terminal. *)