plugins.which-key.window.margin

extra window margin

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

Type: null or (submodule)

Default: null

Declared by:

plugins.which-key.window.margin.bottom

This option has no description.

Type: signed integer

Declared by:

plugins.which-key.window.margin.left

This option has no description.

Type: signed integer

Declared by:

plugins.which-key.window.margin.right

This option has no description.

Type: signed integer

Declared by:

plugins.which-key.window.margin.top

This option has no description.

Type: signed integer

Declared by: