For me it's only the top panel making trouble, but no, I haven't tried that. I'll certainly give it a shot though. Still, I'd like to know what is causing this so one can avoid the trouble in the future. I'm not on my Ubuntu system right now, I'll report back asap. -- matthias_k