// this.saveJS(); - disabled at present.. project settings will probably enable this later..
this.saveVala();
+
this.getLanguageServer().document_save(this);
+ BuilderApplication.showSpinner("spinner", "document save send");
}
// ignore these calls.
public override void saveHTML ( string html ) {}