# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1242035564 -7200
# Node ID d77b8df4f65a45abce6ccf4d92aa2243ba134362
# Parent  faf45b01db302d7e28ab155bb5264516f4f43826
*** empty log message ***

diff -r faf45b01db30 -r d77b8df4f65a UIPainterView.st
--- 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'!