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