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: