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);