add an option to hide the completion bar

This commit is contained in:
Jeremie Dimino 2013-04-26 09:53:59 +01:00
parent 725c6b0327
commit 8da5b260fa
3 changed files with 15 additions and 3 deletions

View File

@ -65,6 +65,7 @@ type syntax =
| Camlp4r | Camlp4r
let hide_reserved, get_hide_reserved, set_hide_reserved = make_variable true let hide_reserved, get_hide_reserved, set_hide_reserved = make_variable true
let show_box, get_show_box, set_show_box = make_variable true
let syntax, get_syntax, set_syntax = make_variable Normal let syntax, get_syntax, set_syntax = make_variable Normal
let phrase_terminator, get_phrase_terminator, set_phrase_terminator = make_variable ";;" let phrase_terminator, get_phrase_terminator, set_phrase_terminator = make_variable ";;"
let auto_run_lwt, get_auto_run_lwt, set_auto_run_lwt = make_variable true let auto_run_lwt, get_auto_run_lwt, set_auto_run_lwt = make_variable true

View File

@ -47,6 +47,15 @@ val get_hide_reserved : unit -> bool
val set_hide_reserved : bool -> unit val set_hide_reserved : bool -> unit
(** Modifies {!hide_reserved}. *) (** Modifies {!hide_reserved}. *)
val show_box : bool signal
(** If [true] (the default) the completion bar is displayed. *)
val get_show_box : unit -> bool
(** Returns the value of {!show_box}. *)
val set_show_box : bool -> unit
(** Modifies {!show_box}. *)
(** Syntax. *) (** Syntax. *)
type syntax = type syntax =
| Normal | Normal

View File

@ -179,6 +179,8 @@ class read_phrase ~term = object(self)
in in
self#set_completion pos words self#set_completion pos words
method show_box = UTop.get_show_box ()
initializer initializer
(* Set the source signal for the size of the terminal. *) (* Set the source signal for the size of the terminal. *)
UTop_private.set_size self#size; UTop_private.set_size self#size;