Class TerminalManagerFrontendContribution

ProtectedcommandHandlerDisposables

Protected ReadonlycommandRegistry

Protected Readonlypreferences

Protected ReadonlypreferenceService

Protected Readonlyshell

Protected ReadonlystateService

Protected ReadonlyterminalFrontendContribution

Protected ReadonlyterminalManagerViewContribution

Protected ReadonlywidgetManager

ProtecteddeferTerminalListenerUntilLayoutReady

• deferTerminalListenerUntilLayoutReady(): void

  Defers the terminal creation listener until layout restoration is complete, preventing restored terminals from being mistaken for externally created ones.

  Returns void

ProtectedhandleTabsDisplayChange

• handleTabsDisplayChange(newValue: string): Promise<void>

  Parameters

  • newValue: string

  Returns Promise<void>

ProtectedisTaskTerminal

• isTaskTerminal(terminal: TerminalWidget): boolean

  Check if a terminal is a task terminal. Task terminals have a 'kind' property set to 'task'.

  Parameters

  • terminal: TerminalWidget

  Returns boolean

ProtectedmigrateTerminalsToManager

• migrateTerminalsToManager(): Promise<void>

  Migrate terminals from tabs to terminal manager. Applies only to terminals currently in bottom panel.

  Returns Promise<void>

ProtectedmigrateTerminalsToTabs

• migrateTerminalsToTabs(): Promise<void>

  Migrate terminals from the terminal manager to the bottom panel as separate tabs.

  Returns Promise<void>

ProtectedregisterCommands

• registerCommands(): void

  Returns void

ProtectedregisterHandlers

• registerHandlers(): void

  Returns void

ProtectedregisterTerminalListener

• registerTerminalListener(): void

  Register a listener to route externally created terminals (e.g. from plugins) into the terminal manager when tree mode is active. Terminals created internally via TerminalManagerWidget.createTerminalWidget are skipped because the command handlers handle their placement.

  Returns void

ProtectedunregisterHandlers

• unregisterHandlers(): void

  Returns void