Theia API Documentation v1.67.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal-manager
terminal-manager-types
TerminalManagerTreeTypes
isPageNode

Function isPageNode

isPageNode(obj: unknown): obj is PageNode
Parameters
- obj: unknown
Returns obj is PageNode
- Defined in packages/terminal-manager/src/browser/terminal-manager-types.ts:152

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.67.0

Loading...