UIPainter.st
changeset 1521 2efd2b9419c4
parent 1499 0c57ab09156b
child 1523 a8fe5e15220b
--- a/UIPainter.st	Tue Oct 30 15:47:54 2001 +0100
+++ b/UIPainter.st	Tue Oct 30 15:48:17 2001 +0100
@@ -2353,6 +2353,24 @@
     "Modified: / 20.6.1998 / 16:49:16 / cg"
 ! !
 
+!UIPainter methodsFor:'menus - dynamic'!
+
+menuEdit
+    |m i|
+
+    m := self class menuEdit.
+    m := m decodeAsLiteralArray.
+    i := m detectItem:[:item | item nameKey == #undo] ifNone:nil.
+    i notNil ifTrue:[
+        i label:(i label , ' (' , self painter undoHistory labelOfLastUndo , ')')   
+    ].
+    m findGuiResourcesIn:self.
+    ^ m
+
+    "Created: / 30.10.2001 / 13:29:04 / cg"
+    "Modified: / 30.10.2001 / 13:47:19 / cg"
+! !
+
 !UIPainter methodsFor:'private'!
 
 askForModification
@@ -3129,26 +3147,28 @@
 addWidgetOfSpec: aSpec
     "adds a widget from aSpec to the current widget"
 
-    |newSel|  
+    |newSel|
+
     (newSel := self pasteSpecifications:aSpec keepLayout:false at:0@0) notNil
     ifTrue:
     [
-	self select: newSel
+        self select: newSel
     ]
     ifFalse:
     [   
-	((treeView selection size = 0) or: [treeView selectedNode isNil])
-	ifTrue:
-	[                          
-	    treeView selection: #(1).
-	]
-	ifFalse:
-	[  
-	    treeView selectNode: (treeView detectNode: [:n| n = treeView selectedNode parent])
-	].
-	self addWidgetOfSpec: aSpec
+        ((treeView selection size = 0) or: [treeView selectedNode isNil])
+        ifTrue:
+        [                          
+            treeView selection: #(1).
+        ]
+        ifFalse:
+        [  
+            treeView selectNode: (treeView detectNode: [:n| n = treeView selectedNode parent])
+        ].
+        self addWidgetOfSpec: aSpec
     ]
 
+    "Modified: / 30.10.2001 / 13:22:25 / cg"
 !
 
 cancel