My bad: the feature is now working (with CTRL key and of course not "any" key). I was using sudo dconf-editor to set the key and of course I was actually setting therefore the root user's desktop feature. Setting true my user's key still wouldn't work but setting then "enable-animations" true made the trick.
My bad: the feature is now working (with CTRL key and of course not "any" key). I was using sudo dconf-editor to set the key and of course I was actually setting therefore the root user's desktop feature. Setting true my user's key still wouldn't work but setting then "enable-animations" true made the trick.