previous up next     contents index
Next: default-spacing-width Up: mred:horizontal-panel Previous: border

default-border-width

   

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.



PLT