Hi,

> I've got a workaround.

thanks for the tip, another person had the same problem with his window
manager (wmi) and could also start revelatoin after running
gnome-theme-manager.

I'll try to get hold of the gnome maintainers...

regards

  Stefan
-- 
Stefan Völkel                            [EMAIL PROTECTED]
Millenux GmbH                              mobile: +49.170.79177.17
Lilienthalstraße 2                          phone: +49.711.88770.300
70825 Stuttgart-Korntal                       fax: +49.711.88770.349
     -= linux without limits -=- http://linux.zSeries.org/ =-

Reply via email to