--- a/UIGalleryView.st	Fri Jul 05 15:48:54 2002 +0200
+++ b/UIGalleryView.st	Thu Jul 11 15:50:59 2002 +0200
@@ -698,7 +698,7 @@
         point := point + extent.
         (point x < rootView width and:[point y < rootView height]) ifTrue:[
             aView topView raise.
-            device sync.
+            device flush.
             aView invalidate.
             aView windowGroup processExposeEvents.
             displayObject := Image fromView:aView grab:false.

--- a/UIObjectView.st	Fri Jul 05 15:48:54 2002 +0200
+++ b/UIObjectView.st	Thu Jul 11 15:50:59 2002 +0200
@@ -1447,8 +1447,7 @@
     oldClipped ~~ clipChildren ifTrue:[
         self clippedByChildren:(clipChildren := oldClipped).
     ].
-    device sync.
-    device flush.
+    device "sync" flush.
 ! !
 
 !UIObjectView methodsFor:'testing'!

--- a/UIPainterView.st	Fri Jul 05 15:48:54 2002 +0200
+++ b/UIPainterView.st	Thu Jul 11 15:50:59 2002 +0200
@@ -1919,15 +1919,13 @@
         v := aSpec buildViewWithLayoutFor:builder in:(self findContainerOfView:aView).
         v realize.    
         aView destroy.
-        device sync.
-        device flush.
+        device flush  "sync" .
         aView becomeSameAs:v.
         inputView raise.
     ] ifFalse:[
         aSpec setAttributesIn:aView with:builder.
         self elementChangedSize:aView.
     ].
-
 !
 
 specFor:anObject