plugins.mark-radar.settings
Options provided to the require('mark-radar').setup
function.
Type: attribute set of anything
Default:
{ }
Example:
{
background_highlight = true;
background_highlight_group = "RadarBackground";
highlight_group = "RadarMark";
set_default_mappings = true;
}
Declared by:
plugins.mark-radar.settings.background_highlight
Whether to highlight the background.
Type: null or boolean or raw lua code
Default:
null
Plugin default: true
Declared by:
plugins.mark-radar.settings.background_highlight_group
The name of the highlight group to use for the background.
Type: null or string or raw lua code
Default:
null
Plugin default: "RadarBackground"
Declared by:
plugins.mark-radar.settings.highlight_group
The name of the highlight group to use.
Type: null or string or raw lua code
Default:
null
Plugin default: "RadarMark"
Declared by:
plugins.mark-radar.settings.set_default_mappings
Whether to set default mappings.
Type: null or boolean or raw lua code
Default:
null
Plugin default: true
Declared by: