2018-02-26 21:41:01 +00:00
|
|
|
namespace GtkNamespace
|
|
|
|
|
|
|
|
open Gtk
|
|
|
|
|
|
|
|
type Gtk_Widget (builder : Builder) =
|
2021-03-19 18:31:57 +00:00
|
|
|
inherit Box(builder.GetRawOwnedObject("Gtk_Widget"))
|
2018-02-26 21:41:01 +00:00
|
|
|
|
|
|
|
new() = new Gtk_Widget(new Builder("Gtk_Widget.glade"))
|