//<Script type="text/javascript">
Gtk = imports.gi.Gtk;
-Vte= imports.gi.Vte;
+Vte = imports.gi.Vte;
// core libs
XObject = imports.XObject.XObject;
console = imports.console;
RightGtkView,
]
}
-
+
+
+
]
},
+
+
{
xtype: Gtk.Notebook,
"pack":"add",
this.el.set_tab_label(this.items[1].el, new Gtk.Label({ label : "Console" }));
},
items : [
- RightPalete,
+ RightEditor,
{
xtype: Vte.Terminal,
"pack":"add",
}
]
}
+
+
]
},
-
+ RightPalete
]