Re: [Pharo-project] Issue 3266 in pharo: Clean TextEditor

[Alain Plantec]

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