UIHelpTool.st
changeset 1723 30d20151ed81
parent 1681 7a8e5df3f07d
child 1735 75407a952d79
--- a/UIHelpTool.st	Wed May 14 13:06:43 2003 +0200
+++ b/UIHelpTool.st	Wed May 14 13:09:04 2003 +0200
@@ -848,16 +848,15 @@
 
 withoutModifyDo:aBlock
     "discard modifications; trigger not the modifiedHolder during
-     the action is active.
-    "
+     the action is active"
+
     |holder|
 
+    modifiedHolder isNil ifTrue:[
+        ^ aBlock value
+    ].
     holder := modifiedHolder.
-
-    holder isNil ifTrue:[
-	^ aBlock value
-    ].
-    ^ aBlock valueNowOrOnUnwindDo:[ modifiedHolder := holder ]
+    ^ aBlock ensure:[modifiedHolder := holder]
 ! !
 
 !UIHelpTool methodsFor:'private'!