Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
PluginProblemMatcherContribution
Interface PluginProblemMatcherContribution
interface
PluginProblemMatcherContribution
{
applyTo
?:
string
;
background
?:
WatchingMatcherContribution
;
base
?:
string
;
deprecated
?:
boolean
;
fileLocation
?:
string
[]
|
"absolute"
|
"relative"
;
label
:
string
;
name
:
string
;
owner
:
string
;
pattern
:
string
|
ProblemPatternContribution
|
ProblemPatternContribution
[]
;
severity
?:
string
;
source
?:
string
;
watching
?:
WatchingMatcherContribution
;
}
Hierarchy (
View Summary
)
ProblemMatcherContribution
PluginProblemMatcherContribution
Index
Properties
apply
To?
background?
base?
deprecated?
file
Location?
label
name
owner
pattern
severity?
source?
watching?
Properties
Optional
apply
To
applyTo
?:
string
Optional
background
background
?:
WatchingMatcherContribution
Optional
base
base
?:
string
Optional
deprecated
deprecated
?:
boolean
Optional
file
Location
fileLocation
?:
string
[]
|
"absolute"
|
"relative"
label
label
:
string
name
name
:
string
owner
owner
:
string
pattern
pattern
:
string
|
ProblemPatternContribution
|
ProblemPatternContribution
[]
Optional
severity
severity
?:
string
Optional
source
source
?:
string
Optional
watching
watching
?:
WatchingMatcherContribution
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
apply
To
background
base
deprecated
file
Location
label
name
owner
pattern
severity
source
watching
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...