UNPKG

theia-sprotty

Version:

Glue code for sprotty diagrams in a Theia IDE

20 lines 909 B
import { Workspace, WorkspaceEdit } from "@theia/languages/lib/browser"; import { Action, CommandExecutionContext } from "sprotty/lib"; import { AbstractWorkspaceEditCommand } from "./workspace-edit-command"; export declare class DeleteWithWorkspaceEditCommand extends AbstractWorkspaceEditCommand { readonly action: DeleteWithWorkspaceEditAction; static readonly KIND: string; constructor(action: DeleteWithWorkspaceEditAction); readonly workspace: Workspace; createWorkspaceEdit(context: CommandExecutionContext): WorkspaceEdit; private findElementsToBeDeleted; private shouldDelete; private shouldDeleteParent; } export declare class DeleteWithWorkspaceEditAction implements Action { readonly workspace: Workspace; readonly sourceUri: string; readonly kind: string; constructor(workspace: Workspace, sourceUri: string); } //# sourceMappingURL=delete.d.ts.map