Class Ed_minibuffer.minibuffer


class minibuffer : unit -> object .. end
The minibuffers. See code of Ed_misc.input_string or Ed_misc.select_string for an example of using the minibuffer.

val mutable active : bool
val mutable editable_from : int
val mutable history : minibuffer_history option
val mutable ignore_text_changed : bool
val mutable more_key_bindings : (Okey.keyhit_state * (unit -> unit)) list
val mutable on_active_change : bool -> unit
val mutable on_complete : unit -> unit
val mutable on_eval : unit -> unit
val mutable on_text_changed : unit -> unit
method active : bool
method box : GObj.widget
method clear : unit
method complete : unit
method eval : unit
method eval_custom_key_binding : string -> unit
method exit : unit -> unit
method get_user_text : string
method history_key_bindings : (Okey.keyhit_state * string) list
method history_next : unit
method history_previous : unit
method insert : string -> unit
method key_bindings : (Okey.keyhit_state * string) list
method more_key_bindings : (Okey.keyhit_state * string) list
method on_text_changed : unit
method set_active : bool -> unit
Change the active state. If the new state is true, on_active_change is called, else it is called only if the new state if different from the current state (i.e. we switch from "active" to "not active"). This is so because of the set_active_view method of Ed_gui.gui_window which set the minibuffer state to "not active" when a view get the focus, and the function called when the minibuffer's state changes make the last view get the focus when the minibuffer is not active.
method set_history : minibuffer_history -> unit
method set_more_key_bindings : (Okey.keyhit_state * (unit -> unit)) list -> unit
method set_on_active_change : (bool -> unit) -> unit
method set_on_eval : (unit -> unit) -> unit
method set_on_complete : (unit -> unit) -> unit
method set_on_text_changed : (unit -> unit) -> unit
method set_size : unit
method set_text : ?list:string list -> ?fixed:string -> string -> unit
method set_user_text : string -> unit
method string_of_list : string list -> string
method wait : unit