{
"int height_request" : 400,
"id" : "ValaCompileResults",
- "| void show" : "() {\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(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",
"xtype" : "Popover",
"Gtk.PositionType position" : "Gtk.PositionType.TOP",
"bool active" : false,
}
// user defined functions
- public void show () {
+ public void show ( Gtk.Widget onbtn) {
+ this.window.el.get_size(out w, out h);
+
+ // left tree = 250, editor area = 500?
+
+ var new_w = int.min(250, 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);
+ }
+ this.el.show_all();
+
+ while(Gtk.events_pending()) {
+ Gtk.main_iteration();
+ }
}
public class Xcls_compile_view : Object
{