WebKit = imports.gi.WebKit;
Vte = imports.gi.Vte;
GtkClutter = imports.gi.GtkClutter;
+Gdl = imports.gi.Gdl;
console = imports.console;
XObject = imports.XObject.XObject;
Editor=new XObject({
xtype: Gtk.Window,
listeners : {
- destroy_event : function (self, event) {
- if (!this.get('/Editor.RightEditor').save()) {
- // no hiding with errors.
- return true;
- }
- this.get('/Editor').activePath = false;
- this.el.hide();
- return true;
- },
delete_event : function (self, event) {
if (!this.get('/Editor.RightEditor').save()) {
// no hiding with errors.
id : "EditorWindow",
title : "Application Builder - Editor",
width_request : 500,
+ save : function (self, event) {
+ if (!this.get('/Editor.RightEditor').save()) {
+ // no hiding with errors.
+ return true;
+ }
+ this.get('/Editor').activePath = false;
+ this.el.hide();
+ return true;
+ },
init : function() {
XObject.prototype.init.call(this);
// this.show_all();