Nov. 18, 2010
10:37 a.m.
Status: Fixed Owner: stephane.ducasse Labels: Milestone-1.2 New issue 3269 by stephane.ducasse: World resetWorldMenu http://code.google.com/p/pharo/issues/detail?id=3269 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