Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/markers
browser/problem/problem-composite-tree-node
ProblemCompositeTreeNode
Child
Interface Child
interface
Child
{
markers
:
Marker
<
Diagnostic
>
[]
;
node
:
MarkerInfoNode
;
}
Index
Properties
markers
node
Properties
markers
markers
:
Marker
<
Diagnostic
>
[]
node
node
:
MarkerInfoNode
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
markers
node
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...