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