`sig
class type druid_page =
object method as_druidpage : GnomeDruid.druidpage Gtk.obj end
class druid_signals :
GnomeDruid.druid Gtk.obj ->
object ('a)
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method cancel : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method help : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class druid :
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
val druid :
?show_finish:bool ->
?show_help:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GnoDruid.druid
class druid_page_signals :
GnomeDruid.druidpage Gtk.obj ->
object ('a)
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method back : callback:(GnoDruid.druid -> bool) -> GtkSignal.id
method cancel : callback:(GnoDruid.druid -> bool) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method finish : callback:(GnoDruid.druid -> unit) -> GtkSignal.id
method next : callback:(GnoDruid.druid -> bool) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method prepare : callback:(GnoDruid.druid -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class druid_page_skel :
([> GnomeDruid.druidpage ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_druidpage : GnomeDruid.druidpage Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method children : GObj.widget list
method coerce : GObj.widget
method connect : GnoDruid.druid_page_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_oid : int
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
end
class druid_page_edge :
GnomeDruid.page_edge Gtk.obj ->
object
val obj : GnomeDruid.page_edge Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_druidpage : GnomeDruid.druidpage Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method children : GObj.widget list
method coerce : GObj.widget
method connect : druid_page_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_oid : int
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_bg_color : Gdk.color -> unit
method set_border_width : int -> unit
method set_logo : GdkPixbuf.pixbuf -> unit
method set_logo_bg_color : Gdk.color -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_text : string -> unit
method set_text_color : Gdk.color -> unit
method set_textbox_color : Gdk.color -> unit
method set_title : string -> unit
method set_title_color : Gdk.color -> unit
method set_top_watermark : GdkPixbuf.pixbuf -> unit
method set_watermark : GdkPixbuf.pixbuf -> unit
end
val druid_page_edge :
position:GnomeDruid.Page_Edge.edge_position ->
aa:bool ->
?title:string ->
?text:string ->
?logo:GdkPixbuf.pixbuf ->
?watermark:GdkPixbuf.pixbuf ->
?top_watermark:GdkPixbuf.pixbuf ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GnoDruid.druid_page_edge
class druid_page_standard :
GnomeDruid.page_standard Gtk.obj ->
object
val obj : GnomeDruid.page_standard Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method append_item :
?question:string -> ?additional_info:string -> GObj.widget -> unit
method as_druidpage : GnomeDruid.druidpage Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method children : GObj.widget list
method coerce : GObj.widget
method connect : druid_page_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_oid : int
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_background : string -> unit
method set_border_width : int -> unit
method set_logo : GdkPixbuf.pixbuf -> unit
method set_logo_background : string -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_title : string -> unit
method set_title_foreground : string -> unit
method vbox : GPack.box
end
val druid_page_standard :
?background:string ->
?logo:GdkPixbuf.pixbuf ->
?logo_background:string ->
?title:string ->
?title_foreground:string ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GnoDruid.druid_page_standard
end`