Module Ed_odoc_rc (.ml)


module Ed_odoc_rc: sig .. end
Configuration of the "odoc" view.

val factory_name : string
Name of the view.
val rc_file : string
The user's configuration file.
val key_bindings : (Okey.keyhit_state * string) Config_file.list_cp
Key bindings of the view.
val pix_file : Config_file.filename_cp
val pix_comp : Config_file.filename_cp
val pix_other : Config_file.filename_cp
val pix_type : Config_file.filename_cp
val pix_fun : Config_file.filename_cp
val pix_value : Config_file.filename_cp
Files used for pixmaps.
val read : unit -> unit
Read the configuration file.
val write : unit -> unit
Write the configuration file.