Module Ed_minibuffer_rc (.ml)


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
Same as Ed_minibuffer_rc.add_minibuffer_key_binding but the combination of key hits is given as a string.