module Configwin_types: sig
.. end
This module contains the types used in Configwin.
val name_to_keysym : (string * int) list
val string_to_key : string ->
[> `CONTROL | `LOCK | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5 | `SHIFT ] list *
int
val key_to_string : [> `CONTROL | `LOCK | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5 | `SHIFT ] list *
int -> string
val value_to_key : Config_file.Raw.cp ->
[> `CONTROL | `LOCK | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5 | `SHIFT ] list *
int
val key_to_value : [> `CONTROL | `LOCK | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5 | `SHIFT ] list *
int -> Config_file.Raw.cp
val key_cp_wrapper : ([> `CONTROL | `LOCK | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5 | `SHIFT ] list *
int)
Config_file.wrappers
class key_cp : ?group:Config_file.group -> string list -> ?short_name:string -> Gdk.Tags.modifier list * int -> string ->
class application not handled yet
A class to define key options, with the
Config_file
module.
type 'a
string_param = {
|
string_label : string ; |
|
mutable string_value : 'a ; |
|
string_editable : bool ; |
|
string_f_apply : 'a -> unit ; |
|
string_help : string option ; |
|
string_expand : bool ; |
|
string_to_string : 'a -> string ; |
|
string_of_string : string -> 'a ; |
}
This type represents a string or filename parameter, or
any other type, depending on the given conversion functions.
type
bool_param = {
|
bool_label : string ; |
|
mutable bool_value : bool ; |
|
bool_editable : bool ; |
|
bool_f_apply : bool -> unit ; |
|
bool_help : string option ; |
}
This type represents a boolean parameter.
type 'a
list_param = {
|
list_label : string ; |
|
mutable list_value : 'a list ; |
|
list_titles : string list option ; |
|
list_f_edit : ('a -> 'a) option ; |
|
list_eq : 'a -> 'a -> bool ; |
|
list_strings : 'a -> string list ; |
|
list_color : 'a -> string option ; |
|
list_editable : bool ; |
|
list_f_add : unit -> 'a list ; |
|
list_f_apply : 'a list -> unit ; |
|
list_help : string option ; |
}
This type represents a parameter whose value is a list of 'a
.
type
combo_param = {
|
combo_label : string ; |
|
mutable combo_value : string ; |
|
combo_choices : string list ; |
|
combo_editable : bool ; |
|
combo_blank_allowed : bool ; |
|
combo_new_allowed : bool ; |
|
combo_f_apply : string -> unit ; |
|
combo_help : string option ; |
|
combo_expand : bool ; |
}
type
custom_param = {
|
custom_box : GPack.box ; |
|
custom_f_apply : unit -> unit ; |
|
custom_expand : bool ; |
|
custom_framed : string option ; |
}
type
color_param = {
|
color_label : string ; |
|
mutable color_value : string ; |
|
color_editable : bool ; |
|
color_f_apply : string -> unit ; |
|
color_help : string option ; |
|
color_expand : bool ; |
}
type
date_param = {
|
date_label : string ; |
|
mutable date_value : int * int * int ; |
|
date_editable : bool ; |
|
date_f_string : int * int * int -> string ; |
|
date_f_apply : int * int * int -> unit ; |
|
date_help : string option ; |
|
date_expand : bool ; |
}
type
font_param = {
|
font_label : string ; |
|
mutable font_value : string ; |
|
font_editable : bool ; |
|
font_f_apply : string -> unit ; |
|
font_help : string option ; |
|
font_expand : bool ; |
}
type
hotkey_param = {
|
hk_label : string ; |
|
mutable hk_value : Gdk.Tags.modifier list * int ; |
|
hk_editable : bool ; |
|
hk_f_apply : Gdk.Tags.modifier list * int -> unit ; |
|
hk_help : string option ; |
|
hk_expand : bool ; |
}
val mk_custom_text_string_param : 'a string_param -> string string_param
type
parameter_kind =
This type represents the different kinds of parameters.
type
configuration_structure =
This type represents the structure of the configuration window.
type
return_button =
| |
Return_apply |
| |
Return_ok |
| |
Return_cancel |
To indicate what button was pushed by the user when the window is closed.
Bindings in the html editor
type
html_binding = {
|
mutable html_key : Gdk.Tags.modifier list * int ; |
|
mutable html_begin : string ; |
|
mutable html_end : string ; |
}
val htmlbinding_cp_wrapper : html_binding Config_file.wrappers
class htmlbinding_cp : ?group:Config_file.group -> string list -> ?short_name:string -> html_binding option -> string ->
class application not handled yet