module Ed_config: sig
.. end
Some configuration constants.
val glade_file : string
The glade file describing chamo's windows
val local_dir_rc_file_prefix : string
The prefix to use for "local" config files,
that is files not stored in the user's cameleon config directory
but stored for example in the directory where the editor
was launched.
val local_dir_rc_file : string -> string
Create a "local" config file name with the given suffix.
val rc_file : string -> string
Create a config file with the given suffix, in the user's
cameleon config directory.
Convenient function to use configuration files.
val key_state_wrappers : (Gdk.Tags.modifier list * int) list Config_file.wrappers
Wrappers to convert key states to and from a string.
val binding_wrappers : ((Gdk.Tags.modifier list * int) list * string) Config_file.wrappers
Wrappers to convert key bindings to and from a string.