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: