Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/markers
common/problem-marker
PROBLEM_KIND

Variable PROBLEM_KIND`Const`

PROBLEM_KIND: "problem" = 'problem'

Defined in packages/markers/src/common/problem-marker.ts:20

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...