src/Builder4/ValaCompileResults.bjs

src/Builder4/ValaCompileResults.vala

diff --git a/src/Builder4/ValaCompileResults.bjs b/src/Builder4/ValaCompileResults.bjs
index ca72109..a700eb1 100644 (file)
--- a/src/Builder4/ValaCompileResults.bjs
+++ b/src/Builder4/ValaCompileResults.bjs
@@ -10,7 +10,7 @@
   {
    "int height_request" : 400,
    "id" : "ValaCompileResults",
-   "| void show" : "( Gtk.Widget onbtn) {\n\tthis.window.el.get_size(out w, out h);\n    \n    // left tree = 250, editor area = 500?\n    \n    var new_w = int.min(250, w-100);\n    if (new_w > (w-100)) {\n        new_w = w-100;\n    }\n    this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));\n\n    \n\n    if (this.el.relative_to == null) {\n        this.el.set_relative_to(onbtn);\n    }\n    this.el.show_all();\n   \n    while(Gtk.events_pending()) { \n            Gtk.main_iteration();\n    }       \n}\n",
+   "| void show" : "( Gtk.Widget onbtn) {\n\tthis.window.el.get_size(out w, out h);\n    \n    // left tree = 250, editor area = 500?\n    \n    var new_w = int.min(500, w-100);\n    if (new_w > (w-100)) {\n        new_w = w-100;\n    }\n    this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));\n \n\n    if (this.el.relative_to == null) {\n        this.el.set_relative_to(onbtn);\n    }\n    this.el.show_all();\n   \n    while(Gtk.events_pending()) { \n            Gtk.main_iteration();\n    }       \n}\n",
    "Xcls_MainWindow window" : "",
    "xtype" : "Popover",
    "Gtk.PositionType position" : "Gtk.PositionType.TOP",

diff --git a/src/Builder4/ValaCompileResults.vala b/src/Builder4/ValaCompileResults.vala
index d9641cc..7bf705d 100644 (file)
--- a/src/Builder4/ValaCompileResults.vala
+++ b/src/Builder4/ValaCompileResults.vala
@@ -43,13 +43,12 @@ public class Xcls_ValaCompileResults : Object
         
         // left tree = 250, editor area = 500?
         
-        var new_w = int.min(250, w-100);
+        var new_w = int.min(500, w-100);
         if (new_w > (w-100)) {
             new_w = w-100;
         }
         this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));
-    
-        
+     
     
         if (this.el.relative_to == null) {
             this.el.set_relative_to(onbtn);