Andreas Pflug wrote:
> Maybe some problem with the theme; try another one.
Thats it, thanks!
(But where should I report the bug now: wxwidgets, gtk, kde, suse?) :)
Walter