2 "build_module" : "builder",
3 "gen_extended" : false,
7 "Gtk.PositionType position" : "Gtk.PositionType.TOP",
8 "Xcls_MainWindow window" : "",
11 "id" : "ValaCompileResults",
12 "int height_request" : 400,
13 "int width_request" : 600,
17 "* pack" : "set_child",
18 "Gtk.Orientation orientation" : "Gtk.Orientation.VERTICAL",
19 "bool hexpand" : true,
20 "bool vexpand" : true,
21 "gboolean homogeneous" : false,
22 "id" : "compile_view",
28 " this.el.set_policy (Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);",
34 "bool hexpand" : true,
35 "bool vexpand" : true,
38 "$ xns" : "GtkSource",
40 "bool editable" : false,
41 "bool hexpand" : true,
42 "bool show_line_numbers" : false,
43 "bool vexpand" : true,
45 "string name" : "compile-results-view",
49 "xtype" : "ScrolledWindow"
61 "\tvar buf = (GtkSource.Buffer)this.sourceview.el.get_buffer();",
62 "\tGtk.TextIter iter;",
63 "\tbuf.get_end_iter (out iter);",
64 "\tbuf.insert(ref iter, str, str.length);",
66 "\tbuf.get_end_iter (out iter);",
67 "\tthis.sourceview.el.scroll_to_iter(iter, 0.0f, true, 0.0f, 1.0f);",
73 "( Gtk.Widget onbtn, bool reset) {",
74 "\tvar win = this.window.el;",
75 " var w = win.get_width();",
76 " var h = win.get_height();",
78 " // left tree = 250, editor area = 500?",
80 " var new_w = int.min(750, w-100);",
81 " if (new_w > (w-100)) {",
84 " this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));",
85 " \tif (this.el.parent == null) {",
86 "\t\tthis.el.set_parent(win);",
88 " // Gtk.Allocation rect;",
89 "\t//onbtn.get_allocation(out rect);",
90 " //this.el.set_pointing_to(rect);",
96 "\t\tvar buf = (GtkSource.Buffer)this.sourceview.el.get_buffer();",
97 "\t\tbuf.set_text(\"\",0);",
108 "name" : "ValaCompileResults"