print("prop : %s", prop == null ? "???" : prop);
+
+
+
+
var ltree = _this.main_window.windowstate.left_tree;
var tp = ltree.model.treePathFromNode(node);
print("got tree path %s\n", tp);
}
}
-
- ltree.view.el.set_cursor(new Gtk.TreePath.from_string(tp), null, false);
-
+ ltree.view.setCursor(tp, "editor");
+ // ltree.view.el.set_cursor(new Gtk.TreePath.from_string(tp), null, false);
+ this.nodeSelected(node);
// scrolling is disabled... as node selection calls scroll 10ms after it changes.
GLib.Timeout.add_full(GLib.Priority.DEFAULT,100 , () => {
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;
-
+ this.el.editable = true;
}
+ print("propSelected = %s range %d -> %d\n", this.propSelected, nstart, nend);
+
}