Sept. 9, 2010
12:17 p.m.
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.