plugins.edgy.settings.options.top.size

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

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

Default: null

Plugin default: 10

Declared by:

plugins.edgy.settings.options.top.wo

View-specific window options.

Type: null or (attribute set of anything)

Default: null

Declared by: