Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/markers
browser/problem/problem-utils
ProblemUtils
getPriority

Function getPriority

getPriority(marker: Marker<Diagnostic>): number
Parameters
- marker: Marker<Diagnostic>
Returns number
- Defined in packages/markers/src/browser/problem/problem-utils.ts:66

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...