plugins.coverage.highlights.covered
Highlight group for covered signs.
Type: null or (attribute set)
Default:
null
Plugin default:
{
fg = "#B7F071";
}
Declared by:
plugins.coverage.highlights.partial
Highlight group for partial coverage signs.
Type: null or (attribute set)
Default:
null
Plugin default:
{
fg = "#AA71F0";
}
Declared by:
plugins.coverage.highlights.summaryBorder
Border highlight group of the summary pop-up.
Type: null or (attribute set)
Default:
null
Plugin default:
{
link = "FloatBorder";
}
Declared by:
plugins.coverage.highlights.summaryCursorLine
Cursor line highlight group of the summary pop-up.
Type: null or (attribute set)
Default:
null
Plugin default:
{
link = "CursorLine";
}
Declared by:
plugins.coverage.highlights.summaryFail
Fail text highlight group of the summary pop-up.
Type: null or (attribute set)
Default:
null
Plugin default:
{
link = "CoverageUncovered";
}
Declared by:
plugins.coverage.highlights.summaryHeader
Header text highlight group of the summary pop-up.
Type: null or (attribute set)
Default:
null
Plugin default:
{
sp = "bg";
style = "bold,underline";
}
Declared by:
plugins.coverage.highlights.summaryNormal
Normal text highlight group of the summary pop-up.
Type: null or (attribute set)
Default:
null
Plugin default:
{
link = "NormalFloat";
}
Declared by:
plugins.coverage.highlights.summaryPass
Pass text highlight group of the summary pop-up.
Type: null or (attribute set)
Default:
null
Plugin default:
{
link = "CoverageCovered";
}
Declared by:
plugins.coverage.highlights.uncovered
Highlight group for uncovered signs.
Type: null or (attribute set)
Default:
null
Plugin default:
{
fg = "#F07178";
}
Declared by: