[Pharo-project] How to disable development tools on Pharo 1.3

I remember having seen some time in the past a menu that allows to shrink the image and disable the world menu. But, I can't retrieve any thing related. I don't care about the menu per se. I'd be happy with a message to send to some object that does the job. Noury -- http://twitter.com/#!/NouryBouraqadi http://www.kroobe.com/profile/noury Afin de contribuer au respect de l'environnement, merci de n'imprimer ce courriel qu'en cas de necessite Please consider the environment before you print