import { WidgetManager, WidgetOpenerOptions } from '@theia/core/lib/browser';
import { TerminalWidget } from '@theia/terminal/lib/browser/base/terminal-widget';
import { TerminalCreationHandler } from '@theia/terminal/lib/browser/terminal-creation-handler';
import { TerminalManagerFrontendViewContribution } from './terminal-manager-frontend-view-contribution';
import { TerminalManagerPreferences } from './terminal-manager-preferences';
/**
 * A {@link TerminalCreationHandler} that routes terminals into the terminal
 * manager widget when tree grouping mode is active.
 *
 * This hooks into {@link TerminalFrontendContribution.open} so that terminals
 * created by any caller (plugins, tasks, debug, etc.) are routed into
 * the manager at the point of placement, rather than being intercepted
 * after the fact via `onDidCreateTerminal` events.
 *
 * Task and debug terminals are routed to dedicated pages in the tree;
 * regular user terminals get their own numbered pages.
 */
export declare class TerminalManagerCreationHandler implements TerminalCreationHandler {
    get priority(): number;
    protected readonly terminalManagerViewContribution: TerminalManagerFrontendViewContribution;
    protected readonly widgetManager: WidgetManager;
    protected readonly preferences: TerminalManagerPreferences;
    onWillOpenTerminal(terminal: TerminalWidget, _options?: WidgetOpenerOptions): Promise<boolean | undefined>;
}
//# sourceMappingURL=terminal-manager-creation-handler.d.ts.map