I had a copy of the adwaita theme in the .themes folder under my home directory.<div>Cancelling that the problem disappeared (it must have been fixed in the meantime in the gnome-themes-standard package) </div><div>So I think the bug-report can be closed.</div>
<div><br></div><div>Thanks,</div><div>Carlo.</div>