@eclipse-glsp/theia-integration/lib/browser/theia-navigate-to-marker-contribution.d.ts

Glue code to integrate GLSP clients into Eclipse Theia

import { CommandContribution, CommandRegistry, MenuContribution, MenuModelRegistry } from '@theia/core';
import { ApplicationShell, KeybindingContribution, KeybindingRegistry } from '@theia/core/lib/browser';
import { GLSPDiagramKeybindingContext } from './diagram/glsp-diagram-keybinding';
import { ContainerContext } from './glsp-theia-container-module';
export declare function registerMarkerNavigationCommands(context: Omit<ContainerContext, 'unbind' | 'rebind'>): void;
export declare namespace NavigateToMarkerCommand {
    const NEXT_MARKER = "next-marker";
    const PREVIOUS_MARKER = "previous-marker";
}
export declare class NavigateToMarkerCommandContribution implements CommandContribution {
    protected readonly shell: ApplicationShell;
    registerCommands(commands: CommandRegistry): void;
}
export declare class NavigateToMarkerMenuContribution implements MenuContribution {
    static readonly NAVIGATION: string[];
    registerMenus(menus: MenuModelRegistry): void;
}
export declare class NavigateToMarkerKeybindingContribution implements KeybindingContribution {
    protected readonly diagramKeybindingContext: GLSPDiagramKeybindingContext;
    registerKeybindings(keybindings: KeybindingRegistry): void;
}
//# sourceMappingURL=theia-navigate-to-marker-contribution.d.ts.map