+++ /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