UNPKG

theia-sprotty

Version:

Glue code for sprotty diagrams in a Theia IDE

14 lines 788 B
import { FrontendApplication } from '@theia/core/lib/browser/frontend-application'; import { KeybindingContext, Keybinding, KeybindingContribution, KeybindingRegistry } from '@theia/core/lib/browser'; export declare class DiagramKeybindingContext implements KeybindingContext { protected readonly application: FrontendApplication; constructor(application: FrontendApplication); id: string; isEnabled(arg?: Keybinding): boolean; } export declare class DiagramKeybindingContribution implements KeybindingContribution { protected readonly diagramKeybindingContext: DiagramKeybindingContext; constructor(diagramKeybindingContext: DiagramKeybindingContext); registerKeybindings(registry: KeybindingRegistry): void; } //# sourceMappingURL=diagram-keybinding.d.ts.map