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: