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