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