Arguments: grid-widget
Returns the border width used by sections of grid-widget that do not have a border width specified.
default-section-border-width is a property of the grid-widget class.
Common Graphics and IDE documentation is described in About Common Graphics and IDE documentation in cgide.htm.
The documentation is described in introduction.htm and the index is in index.htm.
Copyright (c) 1998-2000, Franz Inc. Berkeley, CA., USA. All rights reserved.
Created 2000.10.5.