--- a/UIPainterView.st Thu Feb 08 23:41:07 2001 +0100
+++ b/UIPainterView.st Wed Feb 21 13:26:09 2001 +0100
@@ -1518,17 +1518,20 @@
self clippedByChildren:(clipChildren := false).
].
- self handlesOf:aComponent do:[:rectangle :what|
- what == #view ifTrue:[self displayRectangle:rectangle]
- ifFalse:[self fillRectangle:rectangle]
+ self handlesOf:aComponent do:[:aRectangle :what| |l t w h|
+ l := aRectangle left + 1.
+ t := aRectangle top + 1.
+ w := aRectangle width - 2.
+ h := aRectangle height - 2.
+
+ what == #view ifTrue:[self displayRectangleX:l y:t width:w height:h]
+ ifFalse:[self fillRectangleX:l y:t width:w height:h]
].
wasClipped ifTrue:[
self clippedByChildren:(clipChildren := true).
]
]
-
-
! !
!UIPainterView methodsFor:'queries'!