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
top