this.el = new Gtk.Popover( null );
// my vars (dec)
- this.active = false;
+ this.active = true;
// set gobject values
this.el.width_request = 600;
// user defined functions
public void show ( Gtk.Widget onbtn, bool reset) {
+ int w, h;
+
this.window.el.get_size(out w, out h);
// left tree = 250, editor area = 500?
- var new_w = int.min(500, w-100);
+ var new_w = int.min(750, w-100);
if (new_w > (w-100)) {
new_w = w-100;
}
}
public void addLine (string str) {
- var buf = (Gtk.SourceBuffer)this.sourceview.get_buffer();
- TextIter iter;
+ var buf = (Gtk.SourceBuffer)this.sourceview.el.get_buffer();
+ Gtk.TextIter iter;
buf.get_end_iter (out iter);
buf.insert(ref iter, str, str.length);
/// scroll..
// set gobject values
this.el.editable = false;
- this.el.show_line_numbers = true;
+ this.el.show_line_numbers = false;
// init method