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