class [[> `DELETE_EVENT ]] dialog_ext : [> Gtk.dialog ] Gtk.obj -> object .. end
[[> `DELETE_EVENT ]]
[> Gtk.dialog ] Gtk.obj ->
object
end
GWindow.dialog_skel
method add_button : string -> ([> `DELETE_EVENT ] as 'a) -> unit
string -> ([> `DELETE_EVENT ] as 'a) -> unit
method add_button_stock : GtkStock.id -> 'a -> unit
GtkStock.id -> 'a -> unit