Regards, Fulvio Benini
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
I encountered the same bug and solved installing first the package
"gnome-themes"
