[Pharo-project] Issue 3269 in pharo: World resetWorldMenu

[pharo at googlecode.com]

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