@theia/console
Version:
Theia - Console Extension
34 lines • 1.65 kB
TypeScript
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