Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/markers
browser/problem/problem-utils
ProblemUtils
Namespace ProblemUtils
Functions
columnNumberCompare
filterMarker
getColor
getPriority
lineNumberCompare
ownerCompare
severityCompare
severityCompareMarker
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Functions
column
Number
Compare
filter
Marker
get
Color
get
Priority
line
Number
Compare
owner
Compare
severity
Compare
severity
Compare
Marker
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...