this.node_selected = sel;
this.updateGreySelection(scroll);
+
+
+
}
public string toString () {
Gtk.TextIter s;
}
}
-
+ if (scroll) {
+ Gtk.TextIter cpos_iter;
+ buf.get_iter_at_line(out cpos_iter, start_line);
+ buf.place_cursor(cpos_iter);
+ }
+
}
public void highlightErrorsJson (string type, Json.Object obj) {
return false; // fake syntax error.
}
-
+ //Gee.HashMap<int,string> ret_x;
return p.javascriptHasErrors(
_this.main_window.windowstate,
str,
"", // _this.key,
"file", //_this.ptype,
- _this.file,
+ _this.file,
null
);