Class Ed_minibuffer.minibuffer_history


class minibuffer_history : unit -> object .. end
To use an history in minibuffer.

method add : string -> unit
method init_pos : unit
reinitialize the position used by the get_next and get_previous methods.
method get_next : string option
method get_previous : string option