3 Pango = imports.gi.Pango;
4 GLib = imports.gi.GLib;
6 GObject = imports.gi.GObject;
7 GtkSource = imports.gi.GtkSource;
8 WebKit = imports.gi.WebKit;
10 GtkClutter = imports.gi.GtkClutter;
11 console = imports.console;
12 XObject = imports.XObject.XObject;
16 destroy_event : function (self, event) {
20 delete_event : function (self, event) {
24 configure_event : function (self, object) {
25 this.pos = this.el.get_position();
30 show : function (self) {
32 this.el.set_uposition(this.pos.root_x,this.pos.root_y);
38 title : "Application Builder - Editor",
41 XObject.prototype.init.call(this);
51 pack : "pack_start,false,true",
56 clicked : function (self) {
57 this.get('/Editor.RightEditor').save();
66 xtype: Gtk.ScrolledWindow,
70 var str = this.get('/Editor.buffer').toString();
71 this.get('/LeftPanel.model').changed( str , false);
72 this.get('/Editor').dirty = false;
73 this.get('/Editor.save_button').el.sensitive = false;
77 xtype: GtkSource.View,
79 key_release_event : function (self, event) {
80 if (event.key.keyval != 115 || !(Gdk.ModifierType.CONTROL_MASK & 4) ) {
83 print(event.key.keyval)
93 XObject.prototype.init.call(this);
94 var description = Pango.Font.description_from_string("monospace")
95 description.set_size(8000);
96 this.el.modify_font(description);
99 insert_spaces_instead_of_tabs : true,
100 load : function(str) {
102 // show the help page for the active node..
103 //this.get('/Help').show();
106 // this.get('/BottomPane').el.set_current_page(0);
107 this.el.get_buffer().set_text(str, str.length);
108 var lm = GtkSource.LanguageManager.get_default();
110 this.el.get_buffer().set_language(lm.get_language('js'));
111 var buf = this.el.get_buffer();
112 var cursor = buf.get_mark("insert");
113 var iter= new Gtk.TextIter;
114 buf.get_iter_at_mark(iter, cursor);
116 iter.set_line_offset(4);
117 buf.move_mark(cursor, iter);
120 cursor = buf.get_mark("selection_bound");
121 iter= new Gtk.TextIter;
122 buf.get_iter_at_mark(iter, cursor);
124 iter.set_line_offset(4);
125 buf.move_mark(cursor, iter);
126 this.get('/Editor').dirty = false;
127 this.el.grab_focus();
128 this.get('/Editor.save_button').el.sensitive = false;
132 this.get('/Editor.RightEditor').save();
134 show_line_numbers : true,
137 xtype: GtkSource.Buffer,
139 changed : function (self) {
141 if(this.checkSyntax()) {
142 this.get('/Editor.save_button').el.sensitive = true;
144 // print("EDITOR CHANGED");
145 this.get('/Editor').dirty = true;
147 // this.get('/LeftPanel.model').changed( str , false);
153 checkSyntax : function() {
154 var str = this.toString();
157 // print('var res = ' + str);
158 Seed.check_syntax('var res = ' + str);
160 this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
161 red: 0xFFFF, green: 0xFFFF , blue : 0xFFFF
167 this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
168 red: 0xFFFF, green: 0xCCCC , blue : 0xCCCC
170 print("SYNTAX ERROR IN EDITOR");
177 toString : function() {
179 var s = new Gtk.TextIter();
180 var e = new Gtk.TextIter();
181 this.el.get_start_iter(s);
182 this.el.get_end_iter(e);
183 var ret = this.el.get_text(s,e,true);
184 //print("TO STRING? " + ret);
197 XObject.cache['/Editor'] = Editor;