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: