Theia API Documentation v1.66.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/markers
browser/problem/problem-widget
PROBLEMS_WIDGET_ID

Variable PROBLEMS_WIDGET_ID`Const`

PROBLEMS_WIDGET_ID: "problems" = 'problems'

Defined in packages/markers/src/browser/problem/problem-widget.tsx:32

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.66.0

Loading...