Module Ed_gui_rc (.ml)


module Ed_gui_rc: sig .. end
Handling the configuration file for windows.

val rc_file : string
The user's configuration file.
val minibuffer_history_size : Config_file.int_cp
The option for the size of histories in minibuffers.
val abort_binding : (Gdk.Tags.modifier list * Gdk.keysym) Config_file.cp_custom_type
The "abort" key binding. This is the binding use to abort the current key press sequence. Default is C-g.
val window_key_bindings : (Okey.keyhit_state * string) Config_file.list_cp
The key bindings for the chamo windows. These bindings are always accessible whatever the view which has the focus.
val read : unit -> unit
Read the configuration file.
val write : unit -> unit
Write the configuration file.
val trees_for_window : (Okey.keyhit_state * string) list -> Okey.handler_tree list
trees_for_window bindings adds the given bindings to the ones of the windows (that is window_key_bindings#get) and return a handler tree to set has handler tree of a window. See the Okey library for details about using such trees.
val create_add_binding_commands : (Okey.keyhit_state * string) Config_file.list_cp ->
string -> (Okey.keyhit_state -> string -> unit) * (string -> string -> unit)
create_add_bindings_commands option name return two functions to add key bindings to the given option, given a key state as OCaml value of as a string. It also create and register a add_<name>_key_binding command which can be used to add a key binding to the given option.
val add_window_key_binding : Okey.keyhit_state -> string -> unit
These two functions add a key binding to the window_key_bindings option. The first takes a Okey.keyhit_state and the command name, while the second one takes a string representing a Okey.key_state and a command name.
val add_window_key_binding_string : string -> string -> unit