--- /dev/null
+(* $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