sig
external new_druid : unit -> GnomeDruid.druid Gtk.obj
= "ml_gnome_druid_new"
external set_buttons_sensitive :
GnomeDruid.druid Gtk.obj ->
back:bool -> next:bool -> cancel:bool -> help:bool -> unit
= "ml_gnome_druid_set_buttons_sensitive"
external prepend_page :
GnomeDruid.druid Gtk.obj -> GnomeDruid.druidpage Gtk.obj -> unit
= "ml_gnome_druid_prepend_page"
external insert_page :
GnomeDruid.druid Gtk.obj ->
GnomeDruid.druidpage Gtk.obj -> GnomeDruid.druidpage Gtk.obj -> unit
= "ml_gnome_druid_insert_page"
external append_page :
GnomeDruid.druid Gtk.obj -> GnomeDruid.druidpage Gtk.obj -> unit
= "ml_gnome_druid_append_page"
external set_page :
GnomeDruid.druid Gtk.obj -> GnomeDruid.druidpage Gtk.obj -> unit
= "ml_gnome_druid_set_page"
module Signals :
sig
val cancel : ([> `druid ], unit -> unit) GtkSignal.t
val help : ([> `druid ], unit -> unit) GtkSignal.t
end
module Prop :
sig
val show_finish : (GnomeDruid.druid, bool) Gobject.property
val show_help : (GnomeDruid.druid, bool) Gobject.property
end
end