acbe43cc6e03a34841fb5f9e1fbfaa7a40f1b162
[app.Builder.js] / Sample / Editor.js
1 Gtk = imports.gi.Gtk;
2 Gdk = imports.gi.Gdk;
3 Pango = imports.gi.Pango;
4 GLib = imports.gi.GLib;
5 Gio = imports.gi.Gio;
6 GObject = imports.gi.GObject;
7 GtkSource = imports.gi.GtkSource;
8 WebKit = imports.gi.WebKit;
9 Vte = imports.gi.Vte;
10 GtkClutter = imports.gi.GtkClutter;
11 console = imports.console;
12 XObject = imports.XObject.XObject;
13 Editor=new XObject({
14     xtype: Gtk.Window,
15     listeners : {
16         destroy_event : function (self, event) {
17             this.el.hide();
18             return true;
19         },
20         delete_event : function (self, event) {
21               this.el.hide();
22             return true;
23         },
24         configure_event : function (self, object) {
25             this.pos = this.el.get_position();
26         
27         
28             return false;
29         },
30         show : function (self) {
31             if (this.pos) {
32                 this.el.set_uposition(this.pos.root_x,this.pos.root_y);
33             }
34         }
35     },
36     height_request : 300,
37     id : "EditorWindow",
38     title : "Application Builder - Editor",
39     width_request : 500,
40     init : function() {
41         XObject.prototype.init.call(this);
42        // this.show_all();
43     },
44     items : [
45         {
46             xtype: Gtk.VBox,
47             pack : "add",
48             items : [
49                 {
50                     xtype: Gtk.Toolbar,
51                     pack : "pack_start,false,true",
52                     items : [
53                         {
54                             xtype: Gtk.Button,
55                             listeners : {
56                                 clicked : function (self) {
57                                   this.get('/Editor.RightEditor').save();
58                                 }
59                             },
60                             id : "save_button",
61                             label : "Save"
62                         }
63                     ]
64                 },
65                 {
66                     xtype: Gtk.ScrolledWindow,
67                     id : "RightEditor",
68                     pack : "add",
69                     save : function() {
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;
74                     },
75                     items : [
76                         {
77                             xtype: GtkSource.View,
78                             listeners : {
79                                 key_release_event : function (self, event) {
80                                     if (event.key.keyval == 115 && (Gdk.ModifierType.CONTROL_MASK & 4) ) {
81                                         this.save();
82                                         return false;
83                                     }
84                                    // print(event.key.keyval)
85                                 
86                                     return false;
87                                 }
88                             },
89                             id : "view",
90                             indent_width : 4,
91                             pack : "add",
92                             auto_indent : true,
93                             init : function() {
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);
98                             
99                             },
100                             insert_spaces_instead_of_tabs : true,
101                             load : function(str) {
102                             
103                             // show the help page for the active node..
104                                //this.get('/Help').show();
105                             
106                             
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();
110                                 
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);
116                                 iter.set_line(1);
117                                 iter.set_line_offset(4);
118                                 buf.move_mark(cursor, iter);
119                                 
120                                 
121                                 cursor = buf.get_mark("selection_bound");
122                                 iter= new Gtk.TextIter;
123                                 buf.get_iter_at_mark(iter, cursor);
124                                 iter.set_line(1);
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;
130                             },
131                             save : function() {
132                                 
133                                 this.get('/Editor.RightEditor').save();
134                             },
135                             show_line_numbers : true,
136                             items : [
137                                 {
138                                     xtype: GtkSource.Buffer,
139                                     listeners : {
140                                         changed : function (self) {
141                                         
142                                             if(this.checkSyntax()) {
143                                                 this.get('/Editor.save_button').el.sensitive = true;
144                                             }
145                                            // print("EDITOR CHANGED");
146                                             this.get('/Editor').dirty = true;
147                                         
148                                             // this.get('/LeftPanel.model').changed(  str , false);
149                                             return false;
150                                         }
151                                     },
152                                     id : "buffer",
153                                     pack : "set_buffer",
154                                     checkSyntax : function() {
155                                         var str = this.toString();
156                                         var res = '';
157                                         try {
158                                           //  print('var res = ' + str);
159                                             Seed.check_syntax('var res = ' + str);
160                                             
161                                             this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
162                                                 red: 0xFFFF, green: 0xFFFF , blue : 0xFFFF
163                                                }));
164                                             
165                                             return true;
166                                         } catch (e) {
167                                             
168                                             this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
169                                                 red: 0xFFFF, green: 0xCCCC , blue : 0xCCCC
170                                                }));
171                                             print("SYNTAX ERROR IN EDITOR");   
172                                             print(e);
173                                             // print(str);
174                                             //console.dump(e);
175                                             return false;
176                                         }
177                                     },
178                                     toString : function() {
179                                         
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);
186                                         return ret;
187                                     }
188                                 }
189                             ]
190                         }
191                     ]
192                 }
193             ]
194         }
195     ]
196 });
197 Editor.init();
198 XObject.cache['/Editor'] = Editor;