Module Ed_minibuffer (.ml)


module Ed_minibuffer: sig .. end
Minibuffers.

class minibuffer_history : unit -> object .. end
To use an history in minibuffer.
val history : unit -> minibuffer_history
val max_size : int
Max height of the minibuffer.
class minibuffer : unit -> object .. end
The minibuffers.