}
}
+ ltree.view.setCursor(tp, "editor");
- ltree.view.el.set_cursor(new Gtk.TreePath.from_string(tp), null, false);
// scrolling is disabled... as node selection calls scroll 10ms after it changes.
var start_line = sel.line_start;
var end_line = sel.line_end;
+
+ this.el.editable = false;
// now if we have selected a property...
if (this.propSelected.length> 0 ) {
int nstart, nend;
if (sel.getPropertyRange(this.propSelected, out nstart, out nend) && nend > nstart) {
start_line = nstart;
- end_line = nend -1;
-
+ end_line = nend;
+ this.el.editable = true;
}
print("propSelected = %s range %d -> %d\n", this.propSelected, nstart, nend);