I'm using gnome-control-center 3.4.2-0ubuntu13, and the Theme selection in Appearance settings changes the GTK theme and not the WM theme. I'm seeing the same with gnome-tweak-tool 3.5.5-0ubuntu1. From the looks of it, these panels are both changing the dconf key named "theme" in "org.gnome.desktop.wm.preferences", but Compiz is only looking at the obsolete gconf key "/apps/metacity/general/theme." Have I gone and broken something on my end, or is this reproducible? Should I file another bug report?