Le 09/09/2010 14:17, Marcus Denker a écrit :
On Sep 9, 2010, at 2:13 PM, Hilaire Fernandes wrote:
Okay I see.
I will propose a little refactoring of WorldState so one can change the
world menu programmatically.
Yes, what is missing is a way to reset the menuBuilder in the WorldState so that
it creates a new one.
Is it what you are looking for ?
PasteUpMorph>>resetWorldMenu
menuBuilder
ifNotNil: [menuBuilder reset]
to be used as follow:
----------
World resetWorldMenu
----------
Alain
Marcus
--
Marcus Denker -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.
_______________________________________________
Pharo-project mailing list
[email protected]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
_______________________________________________
Pharo-project mailing list
[email protected]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
