Ubuntu
gnome-shell-extensions package

  1. Bug #1725941
  2. Comment #3

Comment 3 for bug 1725941

Revision history for this message
Matthew D. Mower (mdmower) wrote :

In fact, I'm not sure if this is this a bug with gnome-shell or with gnome-tweak-tool and the method it uses to disable hot corners.