UIPainter.st
changeset 72 a5a7054e2b7d
parent 68 889c3877baf0
child 77 0d3cc25662d6
--- a/UIPainter.st	Sat Mar 01 13:43:01 1997 +0100
+++ b/UIPainter.st	Sat Mar 01 13:44:39 1997 +0100
@@ -419,14 +419,10 @@
             putLabels:(resources  array:#(
                         'group radioButtons' 
                         'group enterFields'
-                        '-'
-                        'delete undo history'
                        ) )
             selectors:#(
                         groupRadioButtons 
                         groupEnterFields
-                        nil
-                        removeUndoHistory
                        )
              receiver:workView.
 
@@ -1024,8 +1020,10 @@
                 button pressAction:[
                     receiver notNil ifTrue:[
                         receiver perform:selector with:argumentToSelector
-                    ]
+                    ].
+                    receiver enableUndoHistory:false.
                 ].
+                button releaseAction:[ receiver enableUndoHistory:true ].
                 button autoRepeat:true.
                 button menuHolder:self; menuMessage:#editMenu; menuPerformer:self.
             ]