[Pharo-project] Refresh (alt+r) was useful

Hi, there is no "refresh" entry in the world menu anymore. It was sometimes useful when the UI has some problems. Could you please readd it somewhere? The shortcut key ALT+r is still working. -- Damien Cassou Peter von der Ahé: «I'm beginning to see why Gilad wished us good luck». (http://blogs.sun.com/ahe/entry/override_snafu)