sprotty-theia/lib/sprotty/theia-sprotty-selection-forwarder.d.ts

Glue code for Sprotty diagrams in a Theia IDE

import { ActionHandlerRegistry, IActionHandler, ViewerOptions, IActionHandlerInitializer } from 'sprotty';
import { Action } from 'sprotty-protocol';
import { SelectionService } from '@theia/core';
export interface SprottySelection {
    selectedElementsIDs: string[];
    widgetId: string;
    sourceUri?: string;
}
export declare function isSprottySelection(object?: any): object is SprottySelection;
export declare class TheiaSprottySelectionForwarder implements IActionHandlerInitializer, IActionHandler {
    protected viewerOptions: ViewerOptions;
    protected selectionService: SelectionService;
    protected sourceUri?: string;
    initialize(registry: ActionHandlerRegistry): any;
    handle(action: Action): void;
}
//# sourceMappingURL=theia-sprotty-selection-forwarder.d.ts.map