(* $Id$ *) type range = | String | Int | Float of float * float | Enum of string list | Enum_string of string list | Adjust | CList_titles | File class type prop = object method name : string (* name of the property *) method range : range (* range of its values *) method get : string (* current value *) method set : string -> unit (* change value *) method modified : bool (* value differs from default *) method code : string (* encoded value for the ml code *) method save_code : string (* encoded value for saving *) end class type tiwidget_base = object method name : string method proplist : (string * prop) list end