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