module Configuration:sig
..end
type
configData =
| |
ConfInt of |
| |
ConfBool of |
| |
ConfFloat of |
| |
ConfString of |
| |
ConfList of |
val load : unit -> unit
val save : unit -> unit
val set : string -> configData -> unit
val find : string -> configData
val find_int : ?default:int -> string -> int
val use_int : string -> (int -> unit) -> unit
val set_int : string -> int -> unit
val find_bool : ?default:bool -> string -> bool
val use_bool : string -> (bool -> unit) -> unit
Gtk_helper.Configuration.use_int
.val set_bool : string -> bool -> unit
val find_float : ?default:float -> string -> float
Gtk_helper.Configuration.find_int
.val use_float : string -> (float -> unit) -> unit
Gtk_helper.Configuration.use_int
.val set_float : string -> float -> unit
val find_string : ?default:string -> string -> string
Gtk_helper.Configuration.find_int
.val use_string : string -> (string -> unit) -> unit
Gtk_helper.Configuration.use_int
.val find_list : string -> configData list
val use_list : string -> (configData list -> unit) -> unit
val set_list : string -> configData list -> unit
#set
, or the ~default
value is used instead.
Then, a callback is registered
into the widget via #connect
such that subsequent
values from user's action are saved back into the
configuration file.
class type['a]
selector =object
..end
val config_int : key:string -> default:int -> int #selector -> unit
val config_bool : key:string -> default:bool -> bool #selector -> unit
val config_string : key:string ->
default:string -> string #selector -> unit
val config_values : key:string ->
default:'a ->
values:('a * string) list -> 'a #selector -> unit
values
field is used as a dictionary of available values.
They are compared with Pervasives.(=)
.