Nov. 18, 2010
9:23 a.m.
Due to a change in PragmaMenuBuilder, the world menu is not well updated anymore. Simply evaluating World resetWorldMenu fixes that. So it should be done before the next release is published. Cheers Alain