UNPKG

@theia/console

Version:
34 lines 1.65 kB
import { Command, CommandContribution, CommandRegistry, MenuContribution, MenuModelRegistry, CommandHandler } from '@theia/core'; import { FrontendApplicationContribution, KeybindingContribution, KeybindingRegistry } from '@theia/core/lib/browser'; import { ConsoleManager } from './console-manager'; import { ConsoleWidget } from './console-widget'; export declare namespace ConsoleCommands { const SELECT_ALL: Command; const COLLAPSE_ALL: Command; const CLEAR: Command; const EXECUTE: Command; const NAVIGATE_BACK: Command; const NAVIGATE_FORWARD: Command; } export declare namespace ConsoleContextMenu { const CLIPBOARD: string[]; const CLEAR: string[]; } export declare class ConsoleContribution implements FrontendApplicationContribution, CommandContribution, KeybindingContribution, MenuContribution { protected readonly manager: ConsoleManager; initialize(): void; registerCommands(commands: CommandRegistry): void; registerKeybindings(keybindings: KeybindingRegistry): void; registerMenus(menus: MenuModelRegistry): void; protected newCommandHandler(execute: ConsoleExecuteFunction): ConsoleCommandHandler; } export type ConsoleExecuteFunction = (console: ConsoleWidget, ...args: any[]) => any; export declare class ConsoleCommandHandler implements CommandHandler { protected readonly manager: ConsoleManager; protected readonly doExecute: ConsoleExecuteFunction; constructor(manager: ConsoleManager, doExecute: ConsoleExecuteFunction); isEnabled(): boolean; isVisible(): boolean; execute(...args: any[]): any; } //# sourceMappingURL=console-contribution.d.ts.map