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) ) {
84 // print(event.key.keyval)
94 XObject.prototype.init.call(this);
95 var description = Pango.Font.description_from_string("monospace")
96 description.set_size(8000);
97 this.el.modify_font(description);
100 insert_spaces_instead_of_tabs : true,
101 load : function(str) {
103 // show the help page for the active node..
104 //this.get('/Help').show();
107 // this.get('/BottomPane').el.set_current_page(0);
108 this.el.get_buffer().set_text(str, str.length);
109 var lm = GtkSource.LanguageManager.get_default();
111 this.el.get_buffer().set_language(lm.get_language('js'));
112 var buf = this.el.get_buffer();
113 var cursor = buf.get_mark("insert");
114 var iter= new Gtk.TextIter;
115 buf.get_iter_at_mark(iter, cursor);
117 iter.set_line_offset(4);
118 buf.move_mark(cursor, iter);
121 cursor = buf.get_mark("selection_bound");
122 iter= new Gtk.TextIter;
123 buf.get_iter_at_mark(iter, cursor);
125 iter.set_line_offset(4);
126 buf.move_mark(cursor, iter);
127 this.get('/Editor').dirty = false;
128 this.el.grab_focus();
129 this.get('/Editor.save_button').el.sensitive = false;
133 this.get('/Editor.RightEditor').save();
135 show_line_numbers : true,
138 xtype: GtkSource.Buffer,
140 changed : function (self) {
142 if(this.checkSyntax()) {
143 this.get('/Editor.save_button').el.sensitive = true;
145 // print("EDITOR CHANGED");
146 this.get('/Editor').dirty = true;
148 // this.get('/LeftPanel.model').changed( str , false);
154 checkSyntax : function() {
155 var str = this.toString();
158 // print('var res = ' + str);
159 Seed.check_syntax('var res = ' + str);
161 this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
162 red: 0xFFFF, green: 0xFFFF , blue : 0xFFFF
168 this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
169 red: 0xFFFF, green: 0xCCCC , blue : 0xCCCC
171 print("SYNTAX ERROR IN EDITOR");
178 toString : function() {
180 var s = new Gtk.TextIter();
181 var e = new Gtk.TextIter();
182 this.el.get_start_iter(s);
183 this.el.get_end_iter(e);
184 var ret = this.el.get_text(s,e,true);
185 //print("TO STRING? " + ret);
198 XObject.cache['/Editor'] = Editor;