Theia API Documentation v1.74.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/markers
browser/problem/problem-contribution
SerializedProblemMarker
Interface SerializedProblemMarker
interface
SerializedProblemMarker
{
code
?:
string
|
number
;
endColumn
:
number
;
endLineNumber
:
number
;
message
:
string
;
owner
:
string
;
resource
:
string
;
severity
?:
number
;
source
?:
string
;
startColumn
:
number
;
startLineNumber
:
number
;
}
Index
Properties
code?
end
Column
end
Line
Number
message
owner
resource
severity?
source?
start
Column
start
Line
Number
Properties
Optional
code
code
?:
string
|
number
end
Column
endColumn
:
number
end
Line
Number
endLineNumber
:
number
message
message
:
string
owner
owner
:
string
resource
resource
:
string
Optional
severity
severity
?:
number
Optional
source
source
?:
string
start
Column
startColumn
:
number
start
Line
Number
startLineNumber
:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
code
end
Column
end
Line
Number
message
owner
resource
severity
source
start
Column
start
Line
Number
Eclipse Theia Website
GitHub
Theia API Documentation v1.74.0
Loading...