6 static int main (string[] args
) {
8 var window
= new Gtk
.Window (Gtk
.WindowType
.TOPLEVEL
);
9 window
.set_default_icon_name ("jackpanel");
10 var panel
= new
Jackpanel (Path
.get_basename(args
[0]));
12 window
.allow_grow
= false;
13 window
.destroy
+= Gtk
.main_quit
;
16 if (panel
.initialized
) {
25 } //namespace Jackpanel