Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc-model
MarkerData
Interface MarkerData
interface
MarkerData
{
code
?:
string
;
endColumn
:
number
;
endLineNumber
:
number
;
message
:
string
;
relatedInformation
?:
RelatedInformation
[]
;
severity
:
MarkerSeverity
;
source
?:
string
;
startColumn
:
number
;
startLineNumber
:
number
;
tags
?:
MarkerTag
[]
;
}
Index
Properties
code?
end
Column
end
Line
Number
message
related
Information?
severity
source?
start
Column
start
Line
Number
tags?
Properties
Optional
code
code
?:
string
end
Column
endColumn
:
number
end
Line
Number
endLineNumber
:
number
message
message
:
string
Optional
related
Information
relatedInformation
?:
RelatedInformation
[]
severity
severity
:
MarkerSeverity
Optional
source
source
?:
string
start
Column
startColumn
:
number
start
Line
Number
startLineNumber
:
number
Optional
tags
tags
?:
MarkerTag
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
code
end
Column
end
Line
Number
message
related
Information
severity
source
start
Column
start
Line
Number
tags
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...