public deregisterSize(id: string): void {
delete this.sizeSchema.properties[id];
const index = this.sizeReferenceSchema.enum.indexOf(id);
if (index !== -1) {
this.sizeReferenceSchema.enum.splice(index, 1);
this.sizeReferenceSchema.enumDescriptions.splice(index, 1);
}
this._onDidChangeSchema.fire();
}
public getSizes(): SizeContribution[] {