Go to Problem
This is an extension of the customizable problems navigation
Capabilities
severity levels and prioritization
peek severity, style, auto hide
source filter
configuration sets
Adds commands
go-to-problem.#.next
go-to-problem.#.nextInWorkspace
go-to-problem.#.prev
go-to-problem.#.prevInWorkspace
go-to-problem.#.openAll
# is 1-5
By default, F8 hotkeys are remapped to use set 1
All defaults
{
"go-to-problem": {
"peekHoverSmoothScrollingDelay": 175,
"peekStandardAutoHide": "off",
"problemsSortOrderNotification": true,
"#/base": {
"enabled": true,
"severity": "error|warning|info",
"reveal": "center",
"prioritizeActive": false,
"openInPreview": true,
"peek": {
"enabled": true,
"severity": "error, warning, info, hint",
"style": "standard"
},
"filter": {
"include": [],
"exclude": [],
"caseSensitive": true,
"workspaceRelative": true
}
}
}
}
severity setting can use prioritization, such as "error|warning > info|hint"
# numbered configurations are inherited from base