git.roojs.org Git - app.Builder.js/blob - src/Builder4/Editor.vala

   1 static Editor  _Editor;
   2
   3 public class Editor : Object
   4 {
   5     public Gtk.Box el;
   6     private Editor  _this;
   7
   8     public static Editor singleton()
   9     {
  10         if (_Editor == null) {
  11             _Editor= new Editor();
  12         }
  13         return _Editor;
  14     }
  15     public Xcls_save_button save_button;
  16     public Xcls_key_edit key_edit;
  17     public Xcls_RightEditor RightEditor;
  18     public Xcls_view view;
  19     public Xcls_buffer buffer;
  20
  21         // my vars (def)
  22     public Xcls_MainWindow window;
  23     public string activeEditor;
  24     public int pos_root_x;
  25     public int pos_root_y;
  26     public string ptype;
  27     public string key;
  28     public JsRender.JsRender file;
  29     public bool pos;
  30     public bool dirty;
  31     public signal void save ();
  32     public JsRender.Node node;
  33
  34     // ctor
  35     public Editor()
  36     {
  37         _this = this;
  38         this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 );
  39
  40         // my vars (dec)
  41         this.window = null;
  42         this.activeEditor = "";
  43         this.ptype = "";
  44         this.key = "";
  45         this.file = null;
  46         this.pos = false;
  47         this.dirty = false;
  48         this.node = null;
  49
  50         // set gobject values
  51         this.el.homogeneous = false;
  52         this.el.hexpand = true;
  53         var child_0 = new Xcls_Box2( _this );
  54         child_0.ref();
  55         this.el.pack_start (  child_0.el , false,true );
  56         var child_1 = new Xcls_RightEditor( _this );
  57         child_1.ref();
  58         this.el.pack_end (  child_1.el , true,true );
  59     }
  60
  61     // user defined functions
  62     public   bool saveContents ()  {
  63
  64
  65         if (_this.file == null) {
  66             return true;
  67         }
  68
  69
  70
  71
  72
  73
  74          var str = _this.buffer.toString();
  75
  76          _this.buffer.checkSyntax();
  77
  78
  79
  80          // LeftPanel.model.changed(  str , false);
  81          _this.dirty = false;
  82          _this.save_button.el.sensitive = false;
  83
  84         // find the text for the node..
  85         if (_this.file.xtype != "PlainFile") {
  86             if (ptype == "listener") {
  87                 this.node.listeners.set(key,str);
  88
  89             } else {
  90                  this.node.props.set(key,str);
  91             }
  92         } else {
  93             _this.file.setSource(  str );
  94          }
  95
  96         // call the signal..
  97         this.save();
  98
  99         return true;
 100
 101     }
 102     public   void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)
 103     {
 104         this.file = file;
 105         this.ptype = "";
 106         this.key  = "";
 107         this.node = null;
 108
 109
 110         if (file.xtype != "PlainFile") {
 111
 112             this.ptype = ptype;
 113             this.key  = key;
 114             this.node = node;
 115              string val = "";
 116             // find the text for the node..
 117             if (ptype == "listener") {
 118                 val = node.listeners.get(key);
 119
 120             } else {
 121                 val = node.props.get(key);
 122             }
 123             this.view.load(val);
 124             this.key_edit.el.show();
 125             this.key_edit.el.text = key;
 126
 127         } else {
 128             this.view.load(        file.toSource() );
 129             this.key_edit.el.hide();
 130         }
 131
 132
 133     }
 134     public class Xcls_Box2 : Object
 135     {
 136         public Gtk.Box el;
 137         private Editor  _this;
 138
 139
 140             // my vars (def)
 141
 142         // ctor
 143         public Xcls_Box2(Editor _owner )
 144         {
 145             _this = _owner;
 146             this.el = new Gtk.Box( Gtk.Orientation.HORIZONTAL, 0 );
 147
 148             // my vars (dec)
 149
 150             // set gobject values
 151             this.el.homogeneous = false;
 152             var child_0 = new Xcls_save_button( _this );
 153             child_0.ref();
 154             this.el.pack_start (  child_0.el , false,false );
 155             var child_1 = new Xcls_key_edit( _this );
 156             child_1.ref();
 157             this.el.pack_end (  child_1.el , true,true );
 158         }
 159
 160         // user defined functions
 161     }
 162     public class Xcls_save_button : Object
 163     {
 164         public Gtk.Button el;
 165         private Editor  _this;
 166
 167
 168             // my vars (def)
 169
 170         // ctor
 171         public Xcls_save_button(Editor _owner )
 172         {
 173             _this = _owner;
 174             _this.save_button = this;
 175             this.el = new Gtk.Button();
 176
 177             // my vars (dec)
 178
 179             // set gobject values
 180             this.el.label = "Save";
 181
 182             //listeners
 183             this.el.clicked.connect( () => {
 184                 _this.saveContents();
 185             });
 186         }
 187
 188         // user defined functions
 189     }
 190
 191     public class Xcls_key_edit : Object
 192     {
 193         public Gtk.Entry el;
 194         private Editor  _this;
 195
 196
 197             // my vars (def)
 198
 199         // ctor
 200         public Xcls_key_edit(Editor _owner )
 201         {
 202             _this = _owner;
 203             _this.key_edit = this;
 204             this.el = new Gtk.Entry();
 205
 206             // my vars (dec)
 207
 208             // set gobject values
 209         }
 210
 211         // user defined functions
 212     }
 213
 214
 215     public class Xcls_RightEditor : Object
 216     {
 217         public Gtk.ScrolledWindow el;
 218         private Editor  _this;
 219
 220
 221             // my vars (def)
 222
 223         // ctor
 224         public Xcls_RightEditor(Editor _owner )
 225         {
 226             _this = _owner;
 227             _this.RightEditor = this;
 228             this.el = new Gtk.ScrolledWindow( null, null );
 229
 230             // my vars (dec)
 231
 232             // set gobject values
 233             var child_0 = new Xcls_view( _this );
 234             child_0.ref();
 235             this.el.add (  child_0.el  );
 236
 237             // init method
 238
 239             this.el.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);
 240         }
 241
 242         // user defined functions
 243     }
 244     public class Xcls_view : Object
 245     {
 246         public Gtk.SourceView el;
 247         private Editor  _this;
 248
 249
 250             // my vars (def)
 251
 252         // ctor
 253         public Xcls_view(Editor _owner )
 254         {
 255             _this = _owner;
 256             _this.view = this;
 257             this.el = new Gtk.SourceView();
 258
 259             // my vars (dec)
 260
 261             // set gobject values
 262             this.el.auto_indent = true;
 263             this.el.indent_width = 4;
 264             this.el.show_line_marks = true;
 265             this.el.insert_spaces_instead_of_tabs = true;
 266             this.el.show_line_numbers = true;
 267             this.el.draw_spaces = Gtk.SourceDrawSpacesFlags.LEADING + Gtk.SourceDrawSpacesFlags.TRAILING + Gtk.SourceDrawSpacesFlags.TAB + Gtk.SourceDrawSpacesFlags.SPACE;
 268             this.el.tab_width = 4;
 269             this.el.highlight_current_line = true;
 270             var child_0 = new Xcls_buffer( _this );
 271             child_0.ref();
 272             this.el.set_buffer (  child_0.el  );
 273
 274             // init method
 275
 276             var description =   Pango.FontDescription.from_string("monospace");
 277                         description.set_size(8000);
 278                          this.el.override_font(description);
 279
 280
 281                 this.el.completion.add_provider(new Palete.CompletionProvider(_this));
 282                 this.el.completion.unblock_interactive();
 283                 this.el.completion.select_on_show                       = true; // select
 284                 this.el.completion.show_headers                 = false;
 285                 this.el.completion.remember_info_visibility             = true;
 286
 287
 288                 var attrs = new Gtk.SourceMarkAttributes();
 289                 var  pink =   Gdk.RGBA();
 290                 pink.parse ( "pink");
 291                 attrs.set_background ( pink);
 292                 attrs.set_icon_name ( "process-stop");
 293                 attrs.query_tooltip_text.connect(( mark) => {
 294                     //print("tooltip query? %s\n", mark.name);
 295                     return mark.name;
 296                 });
 297
 298                 this.el.set_mark_attributes ("ERR", attrs, 1);
 299
 300                  var wattrs = new Gtk.SourceMarkAttributes();
 301                 var  blue =   Gdk.RGBA();
 302                 blue.parse ( "#ABF4EB");
 303                 wattrs.set_background ( blue);
 304                 wattrs.set_icon_name ( "process-stop");
 305                 wattrs.query_tooltip_text.connect(( mark) => {
 306                     //print("tooltip query? %s\n", mark.name);
 307                     return mark.name;
 308                 });
 309
 310                 this.el.set_mark_attributes ("WARN", wattrs, 1);
 311
 312
 313
 314                  var dattrs = new Gtk.SourceMarkAttributes();
 315                 var  purple =   Gdk.RGBA();
 316                 purple.parse ( "#EEA9FF");
 317                 dattrs.set_background ( purple);
 318                 dattrs.set_icon_name ( "process-stop");
 319                 dattrs.query_tooltip_text.connect(( mark) => {
 320                     //print("tooltip query? %s\n", mark.name);
 321                     return mark.name;
 322                 });
 323
 324                 this.el.set_mark_attributes ("DEPR", dattrs, 1);
 325
 326             //listeners
 327             this.el.key_release_event.connect( (event) => {
 328
 329                 if (event.keyval == 115 && (event.state & Gdk.ModifierType.CONTROL_MASK ) > 0 ) {
 330                     print("SAVE: ctrl-S  pressed");
 331                     _this.saveContents();
 332                     return false;
 333                 }
 334                // print(event.key.keyval)
 335
 336                 return false;
 337
 338             });
 339         }
 340
 341         // user defined functions
 342         public   void load (string str) {
 343
 344         // show the help page for the active node..
 345            //this.get('/Help').show();
 346
 347
 348           // this.get('/BottomPane').el.set_current_page(0);
 349             var buf = (Gtk.SourceBuffer)this.el.get_buffer();
 350             buf.set_text(str, str.length);
 351             buf.set_undo_manager(null);
 352
 353             var lm = Gtk.SourceLanguageManager.get_default();
 354             var lang = "vala";
 355             if (_this.file != null) {
 356                  lang = _this.file.language;
 357             }
 358             print("lang=%s, content_type = %s\n", lang, _this.file.content_type);
 359             var lg = _this.file.content_type.length > 0  ?
 360                     lm.guess_language(_this.file.path, _this.file.content_type) :
 361                     lm.get_language(lang);
 362
 363
 364             ((Gtk.SourceBuffer)(this.el.get_buffer())) .set_language(lg);
 365
 366             this.el.insert_spaces_instead_of_tabs = true;
 367             if (lg != null) {
 368                         print("sourcelanguage  = %s\n", lg.name);
 369                         if (lg.name == "Vala") {
 370                             this.el.insert_spaces_instead_of_tabs = false;
 371                         }
 372              }
 373             _this.dirty = false;
 374             this.el.grab_focus();
 375             _this.save_button.el.sensitive = false;
 376         }
 377     }
 378     public class Xcls_buffer : Object
 379     {
 380         public Gtk.SourceBuffer el;
 381         private Editor  _this;
 382
 383
 384             // my vars (def)
 385         public bool check_queued;
 386         public int error_line;
 387         public bool check_running;
 388
 389         // ctor
 390         public Xcls_buffer(Editor _owner )
 391         {
 392             _this = _owner;
 393             _this.buffer = this;
 394             this.el = new Gtk.SourceBuffer( null );
 395
 396             // my vars (dec)
 397             this.check_queued = false;
 398             this.error_line = -1;
 399             this.check_running = false;
 400
 401             // set gobject values
 402
 403             //listeners
 404             this.el.changed.connect( () => {
 405                 // check syntax??
 406                 // ??needed..??
 407                 _this.save_button.el.sensitive = true;
 408                 print("EDITOR CHANGED");
 409                 this.checkSyntax();
 410
 411                 _this.dirty = true;
 412
 413                 // this.get('/LeftPanel.model').changed(  str , false);
 414                 return ;
 415             });
 416         }
 417
 418         // user defined functions
 419         public bool highlightErrors ( Gee.HashMap<int,string> validate_res) {
 420
 421                 this.error_line = validate_res.size;
 422
 423                 if (this.error_line < 1) {
 424                       return true;
 425                 }
 426                 var tlines = this.el.get_line_count ();
 427                 Gtk.TextIter iter;
 428                 var valiter = validate_res.map_iterator();
 429                 while (valiter.next()) {
 430
 431             //        print("get inter\n");
 432                     var eline = valiter.get_key();
 433                     if (eline > tlines) {
 434                         continue;
 435                     }
 436                     this.el.get_iter_at_line( out iter, eline);
 437                     //print("mark line\n");
 438                     this.el.create_source_mark(valiter.get_value(), "ERR", iter);
 439                 }
 440                 return false;
 441             }
 442         public   string toString () {
 443
 444             Gtk.TextIter s;
 445             Gtk.TextIter e;
 446             this.el.get_start_iter(out s);
 447             this.el.get_end_iter(out e);
 448             var ret = this.el.get_text(s,e,true);
 449             //print("TO STRING? " + ret);
 450             return ret;
 451         }
 452         public   bool checkSyntax () {
 453
 454             if (this.check_running) {
 455                 print("Check is running\n");
 456                 if (this.check_queued) {
 457                     print("Check is already queued");
 458                     return true;
 459                 }
 460                 this.check_queued = true;
 461                 print("Adding queued Check ");
 462                 GLib.Timeout.add_seconds(1, () => {
 463                     this.check_queued = false;
 464
 465                     this.checkSyntax();
 466                     return false;
 467                 });
 468
 469
 470                 return true;
 471             }
 472             var str = this.toString();
 473
 474             // needed???
 475             if (this.error_line > 0) {
 476                  Gtk.TextIter start;
 477                  Gtk.TextIter end;
 478                 this.el.get_bounds (out start, out end);
 479
 480                 this.el.remove_source_marks (start, end, null);
 481             }
 482             if (str.length < 1) {
 483                 print("checkSyntax - empty string?\n");
 484                 return true;
 485             }
 486
 487             if (_this.file.xtype == "PlainFile") {
 488
 489                 // assume it's gtk...
 490                    this.check_running = true;
 491
 492                  if (!_this.window.windowstate.valasource.checkPlainFileSpawn(
 493                    _this.file,
 494                     str
 495                  )) {
 496                     this.check_running = false;
 497                 }
 498
 499                 return true;
 500
 501             }
 502            if (_this.file == null) {
 503                return true;
 504            }
 505             var p = Palete.factory(_this.file.xtype);
 506
 507
 508
 509             this.check_running = true;
 510
 511
 512             if (_this.file.language == "js") {
 513                 this.check_running = false;
 514                 print("calling validate javascript\n");
 515                 return this.highlightErrors(p.validateJavascript(
 516                     str,
 517                      _this.key,
 518                     _this.ptype,
 519                     _this.file,
 520                     _this.node
 521                 ));
 522
 523             }
 524
 525
 526             print("calling validate vala\n");
 527             // clear the buttons.
 528
 529
 530            if (! _this.window.windowstate.valasource.checkFileWithNodePropChange(
 531                 _this.file,
 532                 _this.node,
 533                  _this.key,
 534                  _this.ptype,
 535                     str
 536                 )) {
 537                 this.check_running = false;
 538             }
 539
 540
 541
 542             //print("done mark line\n");
 543
 544             return true; // at present allow saving - even if it's invalid..
 545         }
 546         public bool highlightErrorsJson (string type, Json.Object obj) {
 547               Gtk.TextIter start;
 548              Gtk.TextIter end;
 549                 this.el.get_bounds (out start, out end);
 550
 551                 this.el.remove_source_marks (start, end, type);
 552
 553
 554              // we should highlight other types of errors..
 555
 556             if (!obj.has_member(type)) {
 557                 print("Return has no errors\n");
 558                 return true;
 559             }
 560
 561             if (_this.window.windowstate.state != WindowState.State.CODEONLY &&
 562                 _this.window.windowstate.state != WindowState.State.CODE
 563                 ) {
 564                 return true;
 565             }
 566
 567
 568             var err = obj.get_object_member(type);
 569
 570
 571             if (_this.file == null) {
 572                 return true;
 573
 574             }
 575             var valafn = _this.file.path;
 576
 577             if (_this.file.xtype != "PlainFile") {
 578
 579
 580
 581
 582                  valafn = "";
 583                   try {
 584                        var  regex = new Regex("\\.bjs$");
 585                        // should not happen
 586
 587
 588                         valafn = regex.replace(_this.file.path,_this.file.path.length , 0 , ".vala");
 589                      } catch (GLib.RegexError e) {
 590                         return true;
 591                     }
 592
 593
 594
 595               }
 596                if (!err.has_member(valafn)) {
 597                     print("File path has no errors\n");
 598                     return  true;
 599                 }
 600
 601                 var lines = err.get_object_member(valafn);
 602
 603                 var offset = 1;
 604                 if (obj.has_member("line_offset")) {
 605                     offset = (int)obj.get_int_member("line_offset") + 1;
 606                 }
 607
 608
 609
 610
 611             var tlines = this.el.get_line_count () +1;
 612
 613             lines.foreach_member((obj, line, node) => {
 614
 615                      Gtk.TextIter iter;
 616             //        print("get inter\n");
 617                     var eline = int.parse(line) - offset;
 618                     print("GOT ERROR on line %s -- converted to %d\n", line,eline);
 619
 620
 621                     if (eline > tlines || eline < 0) {
 622                         return;
 623                     }
 624                     this.el.get_iter_at_line( out iter, eline);
 625                     //print("mark line\n");
 626                     var msg  = "Line: %d".printf(eline+1);
 627                     var ar = lines.get_array_member(line);
 628                     for (var i = 0 ; i < ar.get_length(); i++) {
 629                             msg += (msg.length > 0) ? "\n" : "";
 630                             msg += ar.get_string_element(i);
 631                     }
 632
 633
 634                     this.el.create_source_mark(msg, type, iter);
 635                 } );
 636                 return false;
 637
 638
 639
 640
 641
 642         }
 643     }
 644
 645
 646
 647 }