UIPainterView.st
changeset 1568 a9d61da29e8b
parent 1554 d5e4612bf7cf
child 1574 e4897b61395c
--- 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