'From VisualWorks® NonCommercial, 7.2 of November 3, 2003 on December 19, 2003 at 12:31:53 am'!


!UI.BorderDecorationPolicy methodsFor: 'initialize-release'!

initialize

	inset := 1.
	scrollbarThickness := 8.
	scrollButtonThickness := 8.
	markerThickness := 3.
	minMarkerExtent := 1.
	menuBarHeight := 8.
	verticalScrollBarOnRight := false.
	border := LookPreferences defaultBorder! !
