![[previous]](../icons/left.gif)
![[up]](../icons/up.gif)
![[next]](../icons/right.gif)
![[contents]](../icons/contents.gif)
![[index]](../icons/index.gif)
Next: default-spacing-width
Up: mred:vertical-panel
Previous: child-align-minor-right
Specifies the default value for the width of the border around the panel's
edge. If this ivar is overridden in a descendant class, the definition
must occur before super-init is called.
- (ivar a-mred:vertical-panel default-border-width) -> non-negative real
Initial value : mred:const-default-border
PLT