2018-02-26 22:41:01 +01:00
|
|
|
namespace GtkNamespace
|
|
|
|
|
|
|
|
|
|
open Gtk
|
|
|
|
|
|
|
|
|
|
type Gtk_Dialog (builder : Builder) as this =
|
2021-03-19 19:31:57 +01:00
|
|
|
inherit Dialog(builder.GetRawOwnedObject("Gtk_Dialog"))
|
2018-02-26 22:41:01 +01:00
|
|
|
do
|
|
|
|
|
this.DefaultResponse <- ResponseType.Cancel;
|
|
|
|
|
this.Response.Add(fun _ ->
|
|
|
|
|
this.Hide();
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
new() = new Gtk_Dialog(new Builder("Gtk_Dialog.glade"))
|
