Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
TabDto
Interface TabDto
interface
TabDto
{
editorId
?:
string
;
id
:
string
;
input
:
AnyInputDto
;
isActive
:
boolean
;
isDirty
:
boolean
;
isPinned
:
boolean
;
isPreview
:
boolean
;
label
:
string
;
}
Index
Properties
editor
Id?
id
input
is
Active
is
Dirty
is
Pinned
is
Preview
label
Properties
Optional
editor
Id
editorId
?:
string
id
id
:
string
input
input
:
AnyInputDto
is
Active
isActive
:
boolean
is
Dirty
isDirty
:
boolean
is
Pinned
isPinned
:
boolean
is
Preview
isPreview
:
boolean
label
label
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
editor
Id
id
input
is
Active
is
Dirty
is
Pinned
is
Preview
label
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...