*** This bug is a duplicate of bug 1543099 ***
https://bugs.launchpad.net/bugs/1543099
Yes, you're right, sorry, I'm just so used to using the bugzilla
interface now which only allows one affected product per bug.
** This bug has been marked a duplicate of bug 1543099
Option to disable Hot Corner
** Summary changed:
- Ability to disable Hot Corner
+ Ability in gnome-shell to disable Hot Corner
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1696849
Title:
Ability in gnome-shell to disable Hot Corner
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1696849/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
