GnomeDruid.druid Gtk.obj ->
object
  val obj : GnomeDruid.druid Gtk.obj
  method add : GObj.widget -> unit
  method all_children : GObj.widget list
  method append_page : #GnoDruid.druid_page -> unit
  method as_widget : Gtk.widget Gtk.obj
  method border_width : int
  method children : GObj.widget list
  method coerce : GObj.widget
  method connect : GnoDruid.druid_signals
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method focus : GContainer.focus
  method get_oid : int
  method insert_page : #GnoDruid.druid_page -> #GnoDruid.druid_page -> unit
  method misc : GObj.misc_ops
  method prepend_page : #GnoDruid.druid_page -> unit
  method remove : GObj.widget -> unit
  method resize_mode : Gtk.Tags.resize_mode
  method set_border_width : int -> unit
  method set_buttons_sensitive :
    back:bool -> next:bool -> cancel:bool -> help:bool -> unit
  method set_page : #GnoDruid.druid_page -> unit
  method set_resize_mode : Gtk.Tags.resize_mode -> unit
  method set_show_finish : bool -> unit
  method set_show_help : bool -> unit
  method show_finish : bool
  method show_help : bool
end