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. *)