BuilderApplication.updateWindows();
file.getLanguageServer().document_open(file);
-
+ BuilderApplication.showSpinner("spinner", "document open sent");
if (file.xtype == "PlainFile") {
this.win.codeeditviewbox.el.show();
}
-
-
-
-
+
this.gotoLine(line);
return;
}
this.rightpalete.hide();
- this.add_props.el.set_parent(btn);
+ if (this.add_props.el.parent == null) {
+ this.add_props.el.set_parent(btn);
+ }
this.add_props.el.set_position(Gtk.PositionType.RIGHT);
this.add_props.show(