Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
markers
MarkerInfoNode
Interface MarkerInfoNode
interface
MarkerInfoNode
{
numberOfMarkers
:
number
;
parent
:
MarkerRootNode
;
severity
?:
DiagnosticSeverity
;
}
Hierarchy
UriSelection
SelectableTreeNode
ExpandableTreeNode
MarkerInfoNode
Index
Properties
number
Of
Markers
parent
severity?
Properties
number
Of
Markers
number
Of
Markers
:
number
parent
parent
:
MarkerRootNode
Optional
severity
severity
?:
DiagnosticSeverity
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
number
Of
Markers
parent
severity
Theia TypeDoc
Loading...