Title says it all. I’ve tried uninstalling and re-installing them, no luck.
Anyone else had this problem and/or found a solution?
Version of gnome-shell-extensions-3.1.4
Version of gnome-shell-3.1.91 . Since I upgraded using extra gnome-repo the minor gnome-shell-extensions didn’t work anymore.