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)
_______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
