changeset 2515 | d77b8df4f65a |
parent 2509 | 89612a372d8b |
child 2526 | 29b49d1b4d53 |
--- a/UIPainterView.st Mon May 11 11:52:33 2009 +0200 +++ b/UIPainterView.st Mon May 11 11:52:44 2009 +0200 @@ -2351,8 +2351,9 @@ self shown ifTrue:[self hideSelection]. ] ]. + self repairDamage. self setSelection:aSelOrNil withRedraw:false. - self shown ifTrue:[ self showSelection ]. + self showSelection. ! ! !UIPainterView methodsFor:'specification'!