6 | Float of float * float
8 | Enum_string of string list
15 method name : string (* name of the property *)
16 method range : range (* range of its values *)
17 method get : string (* current value *)
18 method set : string -> unit (* change value *)
19 method modified : bool (* value differs from default *)
20 method code : string (* encoded value for the ml code *)
21 method save_code : string (* encoded value for saving *)
24 class type tiwidget_base = object
26 method proplist : (string * prop) list