Theia API Documentation v1.70.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal-manager
terminal-manager-types
isTasksPageNode
Function isTasksPageNode
isTasksPageNode
(
node
:
unknown
)
:
node
is
PageNode
Type guard to check if a node is the special Tasks page.
Parameters
node
:
unknown
Returns
node
is
PageNode
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.70.0
Loading...
Type guard to check if a node is the special Tasks page.