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