From c1bb8be73fb27cdede24a01853000ea3f1a401c3 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 26 Apr 2013 09:57:41 +0100 Subject: [PATCH] always show the box for backward search --- src/lib/uTop_main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml index fe7b6b8..5ee67cb 100644 --- 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. *)