" // assume it's gtk...",
" var oldcode =_this.file.toSource();",
" _this.file.setSource(str);",
- " _this.file.getLanguageServer().document_change(_this.file);",
"\t BuilderApplication.showSpinner(\"appointment soon\",\"document change pending\");",
+ " \t_this.file.getLanguageServer().document_change(_this.file);",
+ "",
" _this.file.setSource(oldcode);",
" ",
"\t\t ",