GUI enabling/disabling of controls: Difference between revisions
Content added Content deleted
Line 2,557: | Line 2,557: | ||
window.window_position = Gtk.WindowPosition.CENTER; |
window.window_position = Gtk.WindowPosition.CENTER; |
||
window.destroy.connect(Gtk.main_quit); |
window.destroy.connect(Gtk.main_quit); |
||
window.set_default_size(0,0); |
|||
var box = new Gtk.Box(Gtk.Orientation.HORIZONTAL, 1); |
var box = new Gtk.Box(Gtk.Orientation.HORIZONTAL, 1); |