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;
18 public Xcls_MainWindow window;
22 public Xcls_ValaCompileResults()
25 this.el = new Gtk.Popover( null );
31 this.el.width_request = 600;
32 this.el.height_request = 400;
34 this.el.position = Gtk.PositionType.TOP;
35 var child_0 = new Xcls_compile_view( _this );
37 this.el.add ( child_0.el );
40 // user defined functions
41 public void show ( Gtk.Widget onbtn) {
42 this.window.el.get_size(out w, out h);
44 // left tree = 250, editor area = 500?
46 var new_w = int.min(250, w-100);
47 if (new_w > (w-100)) {
50 this.el.set_size_request( int.max(100, new_w), int.max(100, h-120));
54 if (this.el.relative_to == null) {
55 this.el.set_relative_to(onbtn);
59 while(Gtk.events_pending()) {
63 public class Xcls_compile_view : Object
66 private Xcls_ValaCompileResults _this;
72 public Xcls_compile_view(Xcls_ValaCompileResults _owner )
75 _this.compile_view = this;
76 this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 );
81 this.el.homogeneous = false;
82 var child_0 = new Xcls_ScrolledWindow3( _this );
84 this.el.pack_end ( child_0.el , true,true,0 );
87 // user defined functions
89 public class Xcls_ScrolledWindow3 : Object
91 public Gtk.ScrolledWindow el;
92 private Xcls_ValaCompileResults _this;
98 public Xcls_ScrolledWindow3(Xcls_ValaCompileResults _owner )
101 this.el = new Gtk.ScrolledWindow( null, null );
105 // set gobject values
106 this.el.hexpand = true;
107 var child_0 = new Xcls_SourceView4( _this );
109 this.el.add ( child_0.el );
114 this.el.set_policy (Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);
120 // user defined functions
122 public class Xcls_SourceView4 : Object
124 public Gtk.SourceView el;
125 private Xcls_ValaCompileResults _this;
131 public Xcls_SourceView4(Xcls_ValaCompileResults _owner )
134 this.el = new Gtk.SourceView();
138 // set gobject values
139 this.el.show_line_numbers = true;
145 var description = Pango.FontDescription.from_string("monospace");
146 description.set_size(8000);
147 this.el.override_font(description);
153 // user defined functions