posts: gnome-3.12: tweaks.