Oct. 21, 2008
5:42 a.m.
On 21.10.2008, at 06:25, Damien Cassou wrote:
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.
It's in "Debug" Marcus -- Marcus Denker -- denker@iam.unibe.ch http://www.iam.unibe.ch/~denker