This should have been removed, since the hot-corner no longer exists in 3.6. However looks like the upstream patch only landed in 3.7. I will backport this when I get a chance.
** Bug watch added: GNOME Bug Tracker #687457 https://bugzilla.gnome.org/show_bug.cgi?id=687457 ** Also affects: gnome-shell via https://bugzilla.gnome.org/show_bug.cgi?id=687457 Importance: Unknown Status: Unknown ** Changed in: gnome-shell (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1132308 Title: ~50px pointer barrier in gnome shell at bottom of primary monitor in raring To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1132308/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
