plugins.which-key.window.padding

extra window padding

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

Type: null or (submodule)

Default: null

Declared by:

plugins.which-key.window.padding.bottom

This option has no description.

Type: signed integer

Declared by:

plugins.which-key.window.padding.left

This option has no description.

Type: signed integer

Declared by:

plugins.which-key.window.padding.right

This option has no description.

Type: signed integer

Declared by:

plugins.which-key.window.padding.top

This option has no description.

Type: signed integer

Declared by: