Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
View
Interface View
View contribution
interface
View
{
id
:
string
;
name
:
string
;
type
?:
string
;
when
?:
string
;
}
Index
Properties
id
name
type?
when?
Properties
id
id
:
string
name
name
:
string
Optional
type
type
?:
string
Optional
when
when
?:
string
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
id
name
type
when
Theia TypeDoc
Loading...
View contribution