--- 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.
]