plugins.dropbar.settings.bar.padding
Padding to use between the winbar and the window border.
Type: null or (submodule)
Default:
null
Plugin default:
{
left = 1;
right = 1;
}
Declared by:
plugins.dropbar.settings.bar.padding.left
Padding for the left side.
Type: unsigned integer, meaning >=0
Declared by:
plugins.dropbar.settings.bar.padding.right
Padding for the right side.
Type: unsigned integer, meaning >=0
Declared by: