Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
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
editor
Id
?:
string
id
id
:
string
input
input
:
AnyInputDto
is
Active
is
Active
:
boolean
is
Dirty
is
Dirty
:
boolean
is
Pinned
is
Pinned
:
boolean
is
Preview
is
Preview
:
boolean
label
label
:
string
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
editor
Id
id
input
is
Active
is
Dirty
is
Pinned
is
Preview
label
Theia TypeDoc
Loading...