// 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();
+ 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);
// set gobject values
this.el.editable = false;
- this.el.show_line_numbers = true;
+ this.el.show_line_numbers = false;
// init method