Seems to be a problem with gnome-settings-daemon's clipboard plugin.
I can reliably reproduce the theme issue by opening Opera, putting some text in the clipboard using Ctrl+c, and then closing Opera. However, this is _not_ limited to Opera, it's just reliably reproducible with it here.
Backtrace attached (note, that I didn't run this with GDK_SYNCHRONIZED=1 as this would cause the bug to not show).
Seems to be a problem with gnome-settings- daemon' s clipboard plugin.
I can reliably reproduce the theme issue by opening Opera, putting some text in the clipboard using Ctrl+c, and then closing Opera. However, this is _not_ limited to Opera, it's just reliably reproducible with it here.
Backtrace attached (note, that I didn't run this with GDK_SYNCHRONIZED=1 as this would cause the bug to not show).