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;
21 public Xcls_ValaCompileResults()
24 this.el = new Gtk.Popover( null );
30 this.el.width_request = 600;
31 this.el.height_request = 400;
33 this.el.position = Gtk.PositionType.TOP;
34 var child_0 = new Xcls_compile_view( _this );
36 this.el.add ( child_0.el );
39 // user defined functions
40 public void show ( Gtk.Widget onbtn) {
41 this.window.el.get_size(out w, out h);
43 // left tree = 250, editor area = 500?
45 var new_w = int.min(250, w-100);
46 if (new_w > (w-100)) {
49 this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));
53 if (this.el.relative_to == null) {
54 this.el.set_relative_to(onbtn);
58 while(Gtk.events_pending()) {
62 public class Xcls_compile_view : Object
65 private Xcls_ValaCompileResults _this;
71 public Xcls_compile_view(Xcls_ValaCompileResults _owner )
74 _this.compile_view = this;
75 this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 );
80 this.el.homogeneous = false;
81 var child_0 = new Xcls_ScrolledWindow3( _this );
83 this.el.pack_end ( child_0.el , true,true,0 );
86 // user defined functions
88 public class Xcls_ScrolledWindow3 : Object
90 public Gtk.ScrolledWindow el;
91 private Xcls_ValaCompileResults _this;
97 public Xcls_ScrolledWindow3(Xcls_ValaCompileResults _owner )
100 this.el = new Gtk.ScrolledWindow( null, null );
104 // set gobject values
105 this.el.hexpand = true;
106 var child_0 = new Xcls_SourceView4( _this );
108 this.el.add ( child_0.el );
113 this.el.set_policy (Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);
119 // user defined functions
121 public class Xcls_SourceView4 : Object
123 public Gtk.SourceView el;
124 private Xcls_ValaCompileResults _this;
130 public Xcls_SourceView4(Xcls_ValaCompileResults _owner )
133 this.el = new Gtk.SourceView();
137 // set gobject values
138 this.el.show_line_numbers = true;
144 var description = Pango.FontDescription.from_string("monospace");
145 description.set_size(8000);
146 this.el.override_font(description);
152 // user defined functions