[Pharo-project] Refresh (alt+r) was useful
Oct. 21, 2008
4:25 a.m.
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)
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
6492
Age (days ago)
6492
Last active (days ago)
1 comments
2 participants
participants (2)
-
Damien Cassou -
Marcus Denker