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