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

[pharo]

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