--- /dev/null
+(* $Id$ *)
+
+open Gtk
+open GObj
+
+class editable_signals : 'a obj ->
+ object
+ inherit widget_signals
+ constraint 'a = [>`editable|`widget]
+ val obj : 'a obj
+ method activate : callback:(unit -> unit) -> GtkSignal.id
+ method changed : callback:(unit -> unit) -> GtkSignal.id
+ method delete_text :
+ callback:(start:int -> stop:int -> unit) -> GtkSignal.id
+ method insert_text :
+ callback:(string -> pos:int -> unit) -> GtkSignal.id
+ end
+
+class editable : 'a obj ->
+ object
+ inherit widget
+ constraint 'a = [>`editable|`widget]
+ val obj : 'a obj
+ method connect : editable_signals
+ method copy_clipboard : unit -> unit
+ method cut_clipboard : unit -> unit
+ method delete_selection : unit -> unit
+ method delete_text : start:int -> stop:int -> unit
+ method get_chars : start:int -> stop:int -> string
+ method insert_text : string -> pos:int -> int
+ method paste_clipboard : unit -> unit
+ method position : int
+ method select_region : start:int -> stop:int -> unit
+ method selection : (int * int) option
+ method set_editable : bool -> unit
+ method set_position : int -> unit
+ end
+
+class entry : 'a obj ->
+ object
+ inherit editable
+ constraint 'a = [>`entry|`editable|`widget]
+ val obj : 'a obj
+ method event : event_ops
+ method append_text : string -> unit
+ method prepend_text : string -> unit
+ method set_max_length : int -> unit
+ method set_text : string -> unit
+ method set_visibility : bool -> unit
+ method text : string
+ method text_length : int
+ end
+val entry :
+ ?max_length:int ->
+ ?text:string ->
+ ?visibility:bool ->
+ ?editable:bool ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> entry
+
+class spin_button : Gtk.spin_button obj ->
+ object
+ inherit entry
+ val obj : Gtk.spin_button obj
+ method adjustment : GData.adjustment
+ method set_adjustment : GData.adjustment -> unit
+ method set_digits : int -> unit
+ method set_numeric : bool -> unit
+ method set_shadow_type : Tags.shadow_type -> unit
+ method set_snap_to_ticks : bool -> unit
+ method set_update_policy : [`ALWAYS|`IF_VALID] -> unit
+ method set_value : float -> unit
+ method set_wrap : bool -> unit
+ method spin : Tags.spin_type -> unit
+ method update : unit
+ method value : float
+ method value_as_int : int
+ end
+val spin_button :
+ ?adjustment:GData.adjustment ->
+ ?rate:float ->
+ ?digits:int ->
+ ?value:float ->
+ ?update_policy:[`ALWAYS|`IF_VALID] ->
+ ?numeric:bool ->
+ ?wrap:bool ->
+ ?shadow_type:Tags.shadow_type ->
+ ?snap_to_ticks:bool ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> spin_button
+
+class combo : Gtk.combo obj ->
+ object
+ inherit widget
+ val obj : Gtk.combo obj
+ method disable_activate : unit -> unit
+ method entry : entry
+ method list : GList.liste
+ method set_case_sensitive : bool -> unit
+ method set_item_string : GList.list_item -> string -> unit
+ method set_popdown_strings : string list -> unit
+ method set_use_arrows : [`NEVER|`DEFAULT|`ALWAYS] -> unit
+ method set_value_in_list :
+ ?required:bool -> ?ok_if_empty:bool -> unit -> unit
+ end
+val combo :
+ ?popdown_strings:string list ->
+ ?use_arrows:[`NEVER|`DEFAULT|`ALWAYS] ->
+ ?case_sensitive:bool ->
+ ?value_in_list:bool ->
+ ?ok_if_empty:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> combo
+
+class text : Gtk.text obj ->
+ object
+ inherit editable
+ val obj : Gtk.text obj
+ method event : event_ops
+ method freeze : unit -> unit
+ method hadjustment : GData.adjustment
+ method insert :
+ ?font:Gdk.font ->
+ ?foreground:GDraw.color -> ?background:GDraw.color -> string -> unit
+ method length : int
+ method point : int
+ method set_hadjustment : GData.adjustment -> unit
+ method set_point : int -> unit
+ method set_vadjustment : GData.adjustment -> unit
+ method set_word_wrap : bool -> unit
+ method set_line_wrap : bool -> unit
+ method thaw : unit -> unit
+ method vadjustment : GData.adjustment
+ end
+val text :
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
+ ?editable:bool ->
+ ?word_wrap:bool ->
+ ?line_wrap:bool ->
+ ?width:int ->
+ ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> text