" _this.file.setSource(str);",
"\t BuilderApplication.showSpinner(\"appointment soon\",\"document change pending\");",
" \t_this.file.getLanguageServer().document_change(_this.file);",
- "",
+ "\t\t_this.file.getLanguageServer().queueDocumentSymbols(_this.file);",
" _this.file.setSource(oldcode);",
" ",
"\t\t ",
_this.file.setSource(str);
BuilderApplication.showSpinner("appointment soon","document change pending");
_this.file.getLanguageServer().document_change(_this.file);
-
+ _this.file.getLanguageServer().queueDocumentSymbols(_this.file);
_this.file.setSource(oldcode);
public override void queueDocumentSymbols (JsRender.JsRender file)
{
if (this.doc_queue_file != null && this.doc_queue_file.path != file.path) {
- var sendfile = this.doc_queue_file,;
+ var sendfile = this.doc_queue_file;
this.documentSymbols.begin(this.doc_queue_file, (o, res) => {
var ret = documentSymbols.end(res);
sendfile.navigation_tree_updated(ret);