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();
- if (this.add_props.el.parent == null) {
- this.add_props.el.set_parent(btn);
- }
+ this.add_props.el.set_parent(btn);
this.add_props.el.set_position(Gtk.PositionType.RIGHT);
this.add_props.show(