plugins.which-key.window.padding

extra window padding

Type: null or (submodule)

Default: null

Plugin default: {top = 1; right = 2; bottom = 1; left = 2;}

Declared by:

plugins.which-key.window.padding.bottom

Spacing at the bottom.

Type: unsigned integer, meaning >=0

Declared by:

plugins.which-key.window.padding.left

Spacing at the left.

Type: unsigned integer, meaning >=0

Declared by:

plugins.which-key.window.padding.right

Spacing at the right.

Type: unsigned integer, meaning >=0

Declared by:

plugins.which-key.window.padding.top

Spacing at the top.

Type: unsigned integer, meaning >=0

Declared by: