--- /dev/null
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+val separator :
+ Tags.orientation ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> widget_full
+
+class statusbar_context :
+ Gtk.statusbar obj -> Gtk.statusbar_context ->
+ object
+ val context : Gtk.statusbar_context
+ val obj : Gtk.statusbar obj
+ method context : Gtk.statusbar_context
+ method flash : ?delay:int -> string -> unit
+ method pop : unit -> unit
+ method push : string -> statusbar_message
+ method remove : statusbar_message -> unit
+ end
+
+class statusbar : Gtk.statusbar obj ->
+ object
+ inherit container_full
+ val obj : Gtk.statusbar obj
+ method new_context : name:string -> statusbar_context
+ end
+val statusbar :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> statusbar
+
+class calendar_signals : 'a obj ->
+ object
+ inherit widget_signals
+ constraint 'a = [>`calendar|`widget]
+ val obj : 'a obj
+ method day_selected : callback:(unit -> unit) -> GtkSignal.id
+ method day_selected_double_click :
+ callback:(unit -> unit) -> GtkSignal.id
+ method month_changed : callback:(unit -> unit) -> GtkSignal.id
+ method next_month : callback:(unit -> unit) -> GtkSignal.id
+ method next_year : callback:(unit -> unit) -> GtkSignal.id
+ method prev_month : callback:(unit -> unit) -> GtkSignal.id
+ method prev_year : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class calendar : Gtk.calendar obj ->
+ object
+ inherit widget
+ val obj : Gtk.calendar obj
+ method event : event_ops
+ method clear_marks : unit
+ method connect : calendar_signals
+ method date : int * int * int
+ method display_options : Tags.calendar_display_options list -> unit
+ method freeze : unit -> unit
+ method mark_day : int -> unit
+ method select_day : int -> unit
+ method select_month : month:int -> year:int -> unit
+ method thaw : unit -> unit
+ method unmark_day : int -> unit
+ end
+val calendar :
+ ?options:Tags.calendar_display_options list ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> calendar
+
+class drawing_area : Gtk.drawing_area obj ->
+ object
+ inherit widget_full
+ val obj : Gtk.drawing_area obj
+ method event : event_ops
+ method set_size : width:int -> height:int -> unit
+ end
+val drawing_area :
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> drawing_area
+
+class misc : 'a obj ->
+ object
+ inherit widget
+ constraint 'a = [>`misc|`widget]
+ val obj : 'a obj
+ method set_alignment : ?x:float -> ?y:float -> unit -> unit
+ method set_padding : ?x:int -> ?y:int -> unit -> unit
+ end
+
+class arrow : 'a obj ->
+ object
+ inherit misc
+ constraint 'a = [>`arrow|`misc|`widget]
+ val obj : 'a obj
+ method set_arrow : Tags.arrow_type -> shadow:Tags.shadow_type -> unit
+ end
+
+val arrow :
+ kind:Tags.arrow_type ->
+ shadow:Tags.shadow_type ->
+ ?xalign:float ->
+ ?yalign:float ->
+ ?xpad:int ->
+ ?ypad:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> arrow
+
+class image : 'a obj ->
+ object
+ inherit misc
+ constraint 'a = [>`image|`misc|`widget]
+ val obj : 'a obj
+ method set_image : ?mask:Gdk.bitmap -> Gdk.image -> unit
+ end
+
+val image :
+ Gdk.image ->
+ ?mask:Gdk.bitmap ->
+ ?xalign:float ->
+ ?yalign:float ->
+ ?xpad:int ->
+ ?ypad:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> image
+
+class label_skel : 'a obj ->
+ object
+ inherit misc
+ constraint 'a = [>`label|`misc|`widget]
+ val obj : 'a obj
+ method set_justify : Tags.justification -> unit
+ method set_line_wrap : bool -> unit
+ method set_pattern : string -> unit
+ method set_text : string -> unit
+ method text : string
+ end
+
+class label : [>`label] obj ->
+ object
+ inherit label_skel
+ val obj : Gtk.label obj
+ method connect : widget_signals
+ end
+val label :
+ ?text:string ->
+ ?justify:Tags.justification ->
+ ?line_wrap:bool ->
+ ?pattern:string ->
+ ?xalign:float ->
+ ?yalign:float ->
+ ?xpad:int ->
+ ?ypad:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> label
+val label_cast : < as_widget : 'a obj ; .. > -> label
+
+class tips_query_signals : 'a obj ->
+ object
+ inherit widget_signals
+ constraint 'a = [>`tipsquery|`widget]
+ val obj : 'a obj
+ method widget_entered :
+ callback:(widget option ->
+ text:string option -> privat:string option -> unit) ->
+ GtkSignal.id
+ method widget_selected :
+ callback:(widget option -> text:string option ->
+ privat:string option -> GdkEvent.Button.t option -> bool) ->
+ GtkSignal.id
+ end
+
+class tips_query : Gtk.tips_query obj ->
+ object
+ inherit label_skel
+ val obj : Gtk.tips_query obj
+ method connect : tips_query_signals
+ method set_caller : widget -> unit
+ method set_emit_always : bool -> unit
+ method set_label_inactive : string -> unit
+ method set_label_no_tip : string -> unit
+ method start : unit -> unit
+ method stop : unit -> unit
+ end
+val tips_query :
+ ?caller:#widget ->
+ ?emit_always:bool ->
+ ?label_inactive:string ->
+ ?label_no_tip:string ->
+ ?xalign:float ->
+ ?yalign:float ->
+ ?xpad:int ->
+ ?ypad:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> tips_query
+
+class pixmap : Gtk.pixmap Gtk.obj ->
+ object
+ inherit misc
+ val obj : Gtk.pixmap Gtk.obj
+ method connect : GObj.widget_signals
+ method pixmap : GDraw.pixmap
+ method set_pixmap : GDraw.pixmap -> unit
+ end
+val pixmap :
+ #GDraw.pixmap ->
+ ?xalign:float ->
+ ?yalign:float ->
+ ?xpad:int ->
+ ?ypad:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> pixmap
+
+class color_selection : Gtk.color_selection obj ->
+ object
+ inherit widget_full
+ val obj : Gtk.color_selection obj
+ method get_color : Gtk.color
+ method set_color :
+ red:float -> green:float -> blue:float -> ?opacity:float -> unit -> unit
+ method set_opacity : bool -> unit
+ method set_update_policy : Tags.update_type -> unit
+ end
+val color_selection :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> color_selection
+
+class font_selection : Gtk.font_selection obj ->
+ object
+ inherit widget_full
+ val obj : Gtk.font_selection obj
+ method event : event_ops
+ method notebook : GPack.notebook
+ method font : Gdk.font option
+ method font_name : string option
+ method preview_text : string
+ method set_filter :
+ ?kind:Tags.font_type list ->
+ ?foundry:string list ->
+ ?weight:string list ->
+ ?slant:string list ->
+ ?setwidth:string list ->
+ ?spacing:string list ->
+ ?charset:string list -> Tags.font_filter_type -> unit
+ method set_font_name : string -> unit
+ method set_preview_text : string -> unit
+ end
+val font_selection :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> font_selection