Comment 4 for bug 301190

Joost68 (joost68) wrote :

The command Riccardo Murri gave fixed the problem for me also. (Ubuntu 8.10, etoys 3.0.1916+svn132-2)
Thanks!