Issue 3269 in pharo: World resetWorldMenu

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

Updates:
        Status: Closed

Comment #1 on issue 3269 by stephane.ducasse: World resetWorldMenu
http://code.google.com/p/pharo/issues/detail?id=3269

in 12249