I am still using 1.2 (Debian does not provide a more recent version yet) and I have a problem with the taskbar icons. They look completely wrong. This is described here (with links to images): http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=400880 Is this a known bug in 1.2? Regards, Jan