--- 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'!