module Ed_minibuffer_rc: sig
.. end
Configuration of the minibuffer.
val base_name : string
Name of the minibuffer in command names, etc.
val rc_file : string
The user's configuration file.
val key_bindings : (Okey.keyhit_state * string) Config_file.list_cp
Key bindings of the minibuffer.
val history_key_bindings : (Okey.keyhit_state * string) Config_file.list_cp
Additional key bindings of the minibuffer when an history is set.
val exiting_keys : Okey.keyhit_state Config_file.list_cp
Key combinations which exits from the minibuffer.
val read : unit -> unit
Read the configuration file.
val write : unit -> unit
Write the configuration file.
val add_minibuffer_key_binding : Okey.keyhit_state -> string -> unit
This function add a key binding for the minibuffers, described by a
combination of key hits and an associated command name.
val add_minibuffer_key_binding_string : string -> string -> unit