Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal-manager
terminal-manager-types
TerminalManagerTreeTypes
SelectionChangedEvent
Interface SelectionChangedEvent
interface
SelectionChangedEvent
{
activeGroupId
:
undefined
|
`
group-
${
string
}
`
;
activePageId
:
undefined
|
`
page-
${
string
}
`
;
activeTerminalId
:
undefined
|
`
terminal-
${
string
}
`
;
}
Index
Properties
active
Group
Id
active
Page
Id
active
Terminal
Id
Properties
active
Group
Id
activeGroupId
:
undefined
|
`
group-
${
string
}
`
active
Page
Id
activePageId
:
undefined
|
`
page-
${
string
}
`
active
Terminal
Id
activeTerminalId
:
undefined
|
`
terminal-
${
string
}
`
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
active
Group
Id
active
Page
Id
active
Terminal
Id
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...