git.roojs.org Git - app.Builder.js/blob - 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                                         return;
  82                                     }
  83                                     print(event.key.keyval)
  84                                     this.save();
  85                                     return false;
  86                                 }
  87                             },
  88                             id : "view",
  89                             indent_width : 4,
  90                             pack : "add",
  91                             auto_indent : true,
  92                             init : function() {
  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);
  97
  98                             },
  99                             insert_spaces_instead_of_tabs : true,
 100                             load : function(str) {
 101
 102                             // show the help page for the active node..
 103                                //this.get('/Help').show();
 104
 105
 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();
 109
 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);
 115                                 iter.set_line(1);
 116                                 iter.set_line_offset(4);
 117                                 buf.move_mark(cursor, iter);
 118
 119
 120                                 cursor = buf.get_mark("selection_bound");
 121                                 iter= new Gtk.TextIter;
 122                                 buf.get_iter_at_mark(iter, cursor);
 123                                 iter.set_line(1);
 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;
 129                             },
 130                             save : function() {
 131
 132                                 this.get('/Editor.RightEditor').save();
 133                             },
 134                             show_line_numbers : true,
 135                             items : [
 136                                 {
 137                                     xtype: GtkSource.Buffer,
 138                                     listeners : {
 139                                         changed : function (self) {
 140
 141                                             if(this.checkSyntax()) {
 142                                                 this.get('/Editor.save_button').el.sensitive = true;
 143                                             }
 144                                            // print("EDITOR CHANGED");
 145                                             this.get('/Editor').dirty = true;
 146
 147                                             // this.get('/LeftPanel.model').changed(  str , false);
 148                                             return false;
 149                                         }
 150                                     },
 151                                     id : "buffer",
 152                                     pack : "set_buffer",
 153                                     checkSyntax : function() {
 154                                         var str = this.toString();
 155                                         var res = '';
 156                                         try {
 157                                           //  print('var res = ' + str);
 158                                             Seed.check_syntax('var res = ' + str);
 159
 160                                             this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
 161                                                 red: 0xFFFF, green: 0xFFFF , blue : 0xFFFF
 162                                                }));
 163
 164                                             return true;
 165                                         } catch (e) {
 166
 167                                             this.get('/RightEditor.view').el.modify_base(Gtk.StateType.NORMAL, new Gdk.Color({
 168                                                 red: 0xFFFF, green: 0xCCCC , blue : 0xCCCC
 169                                                }));
 170                                             print("SYNTAX ERROR IN EDITOR");
 171                                             print(e);
 172                                             // print(str);
 173                                             //console.dump(e);
 174                                             return false;
 175                                         }
 176                                     },
 177                                     toString : function() {
 178
 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);
 185                                         return ret;
 186                                     }
 187                                 }
 188                             ]
 189                         }
 190                     ]
 191                 }
 192             ]
 193         }
 194     ]
 195 });
 196 Editor.init();
 197 XObject.cache['/Editor'] = Editor;