}
// highlight the node..
+ }
+ public void clearGreySelection () {
+ // clear all the marks..
+ Gtk.TextIter start;
+ Gtk.TextIter end;
+
+ sbuf.get_bounds (out start, out end);
+ sbuf.remove_source_marks (start, end, "grey");
+
+
}
public void nodeSelected (JsRender.Node? sel, bool scroll ) {
var sbuf = (Gtk.SourceBuffer) buf;
- // clear all the marks..
- Gtk.TextIter start;
- Gtk.TextIter end;
-
- sbuf.get_bounds (out start, out end);
- sbuf.remove_source_marks (start, end, "grey");
-
-
+ this.clearGreySelection();
+
+
+
if (sel == null) {
print("no selected node\n");
// no highlighting..
var colon_pos = 0;
// now if we have selected a property...
- if (this.propSelected.length> 0 ) {
+ if (this.prop_selected.length> 0 ) {
int nstart, nend;
- if (sel.getPropertyRange(this.propSelected, out nstart, out nend) && nend > nstart) {
+ if (sel.getPropertyRange(this.prop_selected, 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, start_line, end_line);
+ print("propSelected = %s range %d -> %d\n", this.prop_selected, start_line, end_line);
}