1 static Xcls_ValaCompileResults _ValaCompileResults;
3 public class Xcls_ValaCompileResults : Object
6 private Xcls_ValaCompileResults _this;
8 public static Xcls_ValaCompileResults singleton()
10 if (_ValaCompileResults == null) {
11 _ValaCompileResults= new Xcls_ValaCompileResults();
13 return _ValaCompileResults;
15 public Xcls_compile_view compile_view;
16 public Xcls_sourceview sourceview;
19 public Xcls_MainWindow window;
23 public Xcls_ValaCompileResults()
26 this.el = new Gtk.Popover( null );
32 this.el.width_request = 600;
33 this.el.height_request = 400;
35 this.el.position = Gtk.PositionType.TOP;
36 var child_0 = new Xcls_compile_view( _this );
38 this.el.add ( child_0.el );
41 // user defined functions
42 public void show ( Gtk.Widget onbtn, bool reset) {
45 this.window.el.get_size(out w, out h);
47 // left tree = 250, editor area = 500?
49 var new_w = int.min(750, w-100);
50 if (new_w > (w-100)) {
53 this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));
56 if (this.el.relative_to == null) {
57 this.el.set_relative_to(onbtn);
63 var buf = (Gtk.SourceBuffer)this.sourceview.el.get_buffer();
67 while(Gtk.events_pending()) {
74 public void addLine (string str) {
75 var buf = (Gtk.SourceBuffer)this.sourceview.el.get_buffer();
77 buf.get_end_iter (out iter);
78 buf.insert(ref iter, str, str.length);
80 buf.get_end_iter (out iter);
81 this.sourceview.el.scroll_to_iter(iter, 0.0f, true, 0.0f, 1.0f);
84 public class Xcls_compile_view : Object
87 private Xcls_ValaCompileResults _this;
93 public Xcls_compile_view(Xcls_ValaCompileResults _owner )
96 _this.compile_view = this;
97 this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 );
101 // set gobject values
102 this.el.homogeneous = false;
103 var child_0 = new Xcls_ScrolledWindow3( _this );
105 this.el.pack_end ( child_0.el , true,true,0 );
108 // user defined functions
110 public class Xcls_ScrolledWindow3 : Object
112 public Gtk.ScrolledWindow el;
113 private Xcls_ValaCompileResults _this;
119 public Xcls_ScrolledWindow3(Xcls_ValaCompileResults _owner )
122 this.el = new Gtk.ScrolledWindow( null, null );
126 // set gobject values
127 this.el.hexpand = true;
128 var child_0 = new Xcls_sourceview( _this );
130 this.el.add ( child_0.el );
135 this.el.set_policy (Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);
141 // user defined functions
143 public class Xcls_sourceview : Object
145 public Gtk.SourceView el;
146 private Xcls_ValaCompileResults _this;
152 public Xcls_sourceview(Xcls_ValaCompileResults _owner )
155 _this.sourceview = this;
156 this.el = new Gtk.SourceView();
160 // set gobject values
161 this.el.editable = false;
162 this.el.show_line_numbers = false;
168 var description = Pango.FontDescription.from_string("monospace");
169 description.set_size(8000);
170 this.el.override_font(description);
176 // user defined functions