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