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: