plugins.specs.settings
Options provided to the require('specs').setup
function.
Type: attribute set of anything
Default:
{ }
Example:
{
ignore_buftypes = {
nofile = true;
};
ignore_filetypes = { };
min_jump = 30;
popup = {
blend = 10;
delay_ms = 0;
fader = ''
function(blend, cnt)
if cnt > 100 then
return 80
else return nil end
end
'';
inc_ms = 10;
resizer = ''
function(width, ccol, cnt)
if width-cnt > 0 then
return {width+cnt, ccol}
else return nil end
end
'';
width = 10;
winhl = "PMenu";
};
show_jumps = true;
}
Declared by:
plugins.specs.settings.ignore_buftypes
An attrs where keys are buftypes and values are a boolean stating whether animation should be enabled or not for this buftype.
Type: null or (attribute set of (boolean or raw lua code))
Default:
null
Plugin default:
{
nofile = true;
}
Declared by:
plugins.specs.settings.ignore_filetypes
An attrs where keys are filetypes and values are a boolean stating whether animation should be enabled or not for this filetype.
Type: null or (attribute set of (boolean or raw lua code))
Default:
null
Plugin default: { }
Declared by:
plugins.specs.settings.min_jump
Minimum jump distance to trigger the animation.
Type: null or unsigned integer, meaning >=0, or raw lua code
Default:
null
Plugin default: 30
Declared by:
plugins.specs.settings.show_jumps
Whether to show an animation each time the cursor jumps.
Type: null or boolean or raw lua code
Default:
null
Plugin default: true
Declared by: