Protected ReadonlypreferencesProtected ReadonlyterminalProtected ReadonlywidgetThe priority of this handler. Higher values are consulted first.
Defaults to 0 if not specified.
Called when a terminal is about to be placed in the shell.
The handler may take ownership of the terminal (e.g. add it to a custom container)
by returning true. In that case, the default shell placement will be skipped.
The terminal widget to be placed.
Optional_options: WidgetOpenerOptionsThe opener options, if any.
true if this handler claimed the terminal, false or undefined otherwise.
A TerminalCreationHandler that routes terminals into the terminal manager widget when tree grouping mode is active.
This hooks into 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
onDidCreateTerminalevents.Task and debug terminals are routed to dedicated pages in the tree; regular user terminals get their own numbered pages.