theia-sprotty/lib/sprotty/theia-key-tool.d.ts

Glue code for sprotty diagrams in a Theia IDE

import { IActionDispatcher, KeyListener, KeyTool, SModelElement } from 'sprotty/lib';
import { VNode } from 'snabbdom/vnode';
export declare class TheiaKeyTool extends KeyTool {
    protected keyListeners: KeyListener[];
    constructor(actionDispatcher: IActionDispatcher, keyListeners?: KeyListener[]);
    decorate(vnode: VNode, element: SModelElement): VNode;
}
//# sourceMappingURL=theia-key-tool.d.ts.map