equal
deleted
inserted
replaced
2357 ! ! |
2357 ! ! |
2358 |
2358 |
2359 !UIPainter methodsFor:'menus - dynamic'! |
2359 !UIPainter methodsFor:'menus - dynamic'! |
2360 |
2360 |
2361 menuEdit |
2361 menuEdit |
2362 |m i| |
2362 ^ [ |
2363 |
2363 |m i| |
2364 m := self class menuEdit. |
2364 |
2365 m := m decodeAsLiteralArray. |
2365 m := self class menuEdit. |
2366 i := m detectItem:[:item | item nameKey == #undo] ifNone:nil. |
2366 m := m decodeAsLiteralArray. |
2367 i notNil ifTrue:[ |
2367 i := m detectItem:[:item | item nameKey == #undo] ifNone:nil. |
2368 i label:(i label , ' (' , self painter undoHistory labelOfLastUndo , ')') |
2368 i notNil ifTrue:[ |
2369 ]. |
2369 i label:(i label , ' (' , self painter undoHistory labelOfLastUndo , ')') |
2370 m findGuiResourcesIn:self. |
2370 ]. |
2371 ^ m |
2371 m receiver:self. |
2372 |
2372 m findGuiResourcesIn:self. |
2373 "Created: / 30.10.2001 / 13:29:04 / cg" |
2373 m |
2374 "Modified: / 30.10.2001 / 13:47:19 / cg" |
2374 ]. |
2375 ! ! |
2375 ! ! |
2376 |
2376 |
2377 !UIPainter methodsFor:'private'! |
2377 !UIPainter methodsFor:'private'! |
2378 |
2378 |
2379 askForModification |
2379 askForModification |