import { CommandRegistry, PreferenceService, DisposableCollection } from '@theia/core/lib/common'; import { TerminalFrontendContribution } from '@theia/terminal/lib/browser/terminal-frontend-contribution'; import { ApplicationShell, WidgetManager, FrontendApplicationContribution, FrontendApplication } from '@theia/core/lib/browser'; import { TerminalManagerFrontendViewContribution } from './terminal-manager-frontend-view-contribution'; import { TerminalManagerPreferences } from './terminal-manager-preferences'; import { ILogger } from '@theia/core'; /** * Re-registers terminal commands (e.g. new terminal) to execute them via the terminal manager * instead of creating new, separate terminals. */ export declare class TerminalManagerFrontendContribution implements FrontendApplicationContribution { protected readonly terminalFrontendContribution: TerminalFrontendContribution; protected readonly terminalManagerViewContribution: TerminalManagerFrontendViewContribution; protected readonly widgetManager: WidgetManager; protected readonly shell: ApplicationShell; protected readonly preferenceService: PreferenceService; protected readonly preferences: TerminalManagerPreferences; protected readonly commandRegistry: CommandRegistry; protected readonly logger: ILogger; protected commandHandlerDisposables: DisposableCollection; onStart(app: FrontendApplication): void; initializeLayout(): Promise; protected handleTabsDisplayChange(newValue: string): Promise; /** * Migrate terminals from tabs to terminal manager. Applies only to terminals currently in bottom panel. */ protected migrateTerminalsToManager(): Promise; /** * Migrate terminals from the terminal manager to the bottom panel as separate tabs. */ protected migrateTerminalsToTabs(): Promise; protected unregisterHandlers(): void; protected registerHandlers(): void; protected registerCommands(): void; } //# sourceMappingURL=terminal-manager-frontend-contribution.d.ts.map