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
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
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