UIPainter.st
changeset 1528 4136505d3cbe
parent 1523 a8fe5e15220b
child 1540 dda0bf556ebc
equal deleted inserted replaced
1527:fbb412fb7600 1528:4136505d3cbe
  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