Module GnoDruid


module GnoDruid: sig .. end
Druids (a.k.a. Wizards)

class type druid_page = object .. end
class druid_signals : GnomeDruid.druid Gtk.obj -> object .. end

class druid : GnomeDruid.druid Gtk.obj -> object .. end

val druid : ?show_finish:bool ->
?show_help:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> druid
GTK documentation: GnomeDruid
class druid_page_signals : GnomeDruid.druidpage Gtk.obj -> object .. end

class druid_page_skel : [> GnomeDruid.druidpage ] Gtk.obj -> object .. end

class druid_page_edge : GnomeDruid.page_edge Gtk.obj -> object .. 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 -> druid_page_edge
GTK documentation: GnomeDruidPageEdge
class druid_page_standard : GnomeDruid.page_standard Gtk.obj -> object .. 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 -> druid_page_standard
GTK documentation: GnomeDruidPageStandard