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.
Plugin default: 10
Type: null or unsigned integer, meaning >=0, or raw lua code
Default:
null
Declared by:
plugins.edgy.settings.options.top.wo
View-specific window options.
Type: null or (attribute set of anything)
Default:
null
Declared by: