plugins.edgy.settings.options.bottom.size

Size of the short edge of the edgebar. For edgebars, this is the minimum width. For panels, minimum height.

Plugin default: 10

Type: null or unsigned integer, meaning >=0, or raw lua code

Default: null

Declared by:

plugins.edgy.settings.options.bottom.wo

View-specific window options.

Type: null or (attribute set of anything)

Default: null

Declared by: