Thank you Kris and developers, for your work.<br><br>I like much Gnome DE, so I'm waiting for version #9 quite "eager"...<br><br clear="all"><br>-- <br>Vittorio Cagnetta<br><br><a href="http://sites.google.com/site/easybashgui">http://sites.google.com/site/easybashgui</a><br>