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:single-panel default-border-width)->non-negative real Initial value : mred:const-default-border
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}