On Fri, 2013-07-05 at 10:52 +0200, Benjamin Tissoires wrote:
Maybe you can try to do a swipe from the desktop (outside the activity button) towards the top left corner (passing through the activity button).
I tried all sorts of swipes, including this one, and no, it didn't work, not even without a fullscreen application.
With Anthony's patch (uploaded to the gnome bug Florian pointed me at), it works again for me
Thanks, Tom