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

Glue code for sprotty diagrams in a Theia IDE

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