{
"int height_request" : 400,
"id" : "ValaCompileResults",
- "| void show" : "( Gtk.Widget onbtn, bool reset) {\n\tint w, h;\n \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 // not sure why..\n \n if (reset) {\n\t\tvar buf = (Gtk.SourceBuffer)this.sourceview.el.get_buffer();\n\t\tbuf.set_text(\"\",0);\n\t}\n \n while(Gtk.events_pending()) { \n Gtk.main_iteration();\n }\n \n \n \n}\n",
+ "| void show" : "( Gtk.Widget onbtn, bool reset) {\n\tint w, h;\n \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(750, 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 // not sure why..\n \n if (reset) {\n\t\tvar buf = (Gtk.SourceBuffer)this.sourceview.el.get_buffer();\n\t\tbuf.set_text(\"\",0);\n\t}\n \n while(Gtk.events_pending()) { \n Gtk.main_iteration();\n }\n \n \n \n}\n",
"Xcls_MainWindow window" : "",
"xtype" : "Popover",
"Gtk.PositionType position" : "Gtk.PositionType.TOP",
"items" : [
{
"id" : "compile_view",
- "xtype" : "Box",
"* pack" : "add",
+ "xtype" : "Box",
"gboolean homogeneous" : false,
"$ xns" : "Gtk",
"Gtk.Orientation orientation" : "Gtk.Orientation.VERTICAL",
"* pack" : "add",
"bool editable" : false,
"$ xns" : "Gtk",
- "bool show_line_numbers" : true
+ "bool show_line_numbers" : false
}
]
}
// left tree = 250, editor area = 500?
- var new_w = int.min(500, w-100);
+ var new_w = int.min(750, w-100);
if (new_w > (w-100)) {
new_w = w-100;
}
// set gobject values
this.el.editable = false;
- this.el.show_line_numbers = true;
+ this.el.show_line_numbers = false;
// init method