plugins.edgy.settings.options.right.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: 30
Declared by:
plugins.edgy.settings.options.right.wo
View-specific window options.
Type: null or (attribute set of anything)
Default:
null
Declared by: