diff --git a/man/utop.1 b/man/utop.1 index 714c189..ef45343 100644 --- a/man/utop.1 +++ b/man/utop.1 @@ -61,11 +61,11 @@ You can then add this line to your .I ~/.config/utop/init.ml file. -To turn off utop's advanced prompt features, add the following to init.ml -to turn off respectively (a) colors and the upper information line, and +To turn off utop's advanced prompt features, add the following to init.ml +to turn off respectively (a) colors and the upper information line, and (b) the lower boxed list of possible completions: - #utop_prompt_dummy;; + #utop_prompt_dummy;; UTop.set_show_box false You can enable basic syntax highlighting in utop by writing a