Module Ed_sourceview_rc (.ml)


module Ed_sourceview_rc: sig .. end
Configuration of the "sourceview" view.

val factory_name : string
Name of the view.
val rc_file : string
The user's configuration file.
val mode_rc_file : string -> string
The function to get the configuration file of a mode, from the mode name.
val key_bindings : (Okey.keyhit_state * string) Config_file.list_cp
Key bindings of the view.
val filename_language_patterns : (string * string) Config_file.list_cp
Associations between regular expressions on filenames and mime type, to get the correct language syntax highlighting.
val filename_mode_patterns : (string * string) Config_file.list_cp
Associations between regular expressions in filenames and mode names.
val max_undo_levels : Config_file.int_cp
Maximum undo levels.
val default_wrap_mode : [ `CHAR | `NONE | `WORD ] Config_file.cp_custom_type
Default wrap mode to use when creating a sourceview, if no indication is given.
val string_of_wrap_mode : [< `CHAR | `NONE | `WORD ] -> string
Return a string which can be used to describe the given wrap mode.
val wrap_mode_of_string : string -> [> `CHAR | `NONE | `WORD ]
Return the wrap mode corresponding to the given string.
val read : unit -> unit
Read the configuration file.
val write : unit -> unit
Write the configuration file.
val add_sourceview_key_binding : Okey.keyhit_state -> string -> unit
This function add a key binding for the view, described by a combination of key hits and an associated command name.
val add_sourceview_key_binding_string : string -> string -> unit
Same as Ed_sourceview_rc.add_sourceview_key_binding but the combination of key hits is given as a string.
val create_add_sourceview_mode_binding_commands : (Okey.keyhit_state * string) Config_file.list_cp ->
string -> (Okey.keyhit_state -> string -> unit) * (string -> string -> unit)
This function create, for a key bindings option and a given mode name, two functions to a add key binding to the mode, and also register a command to add a binding to the mode. The command name is called add_sourceview_mode_<mode name>_key_binding. This function uses Ed_gui_rc.create_add_binding_commands.