theia-sprotty/lib/sprotty/languageserver/completion-label-edit.d.ts

Glue code for sprotty diagrams in a Theia IDE

import { SLabel } from "sprotty/lib";
import { Ranged } from "./ranged";
import { TheiaDiagramServerProvider } from "../theia-diagram-server";
export declare class CompletionLabelEditor {
    diagramServerProvider: TheiaDiagramServerProvider;
    edit(element: SLabel & Ranged): Promise<void>;
}
//# sourceMappingURL=completion-label-edit.d.ts.map