[Bug 1543099] Re: Ability to disable Hot Corner
** Changed in: gnome-tweak-tool Status: Confirmed => Expired -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Ability to disable Hot Corner To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner
** Description changed: Though some may find it useful, I find the Activities Overview Hot Corner feature very annoying (when my mouse goes over the Activities Overview button it opens up even if I do not click it) and I am forced to install a third-party extension in order to disable it, but I would much rather it if I could just disable it in the gnome-tweak-tool so I really think that there should be an option to do it. Because some may like it, but you should understand that some may not and it is the sort of feature you should allow users to disable without having to install third-party extensions to do so. + + Upstream: https://gitlab.gnome.org/GNOME/gnome-tweaks/issues/65 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Ability to disable Hot Corner To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner
This is fixed in Ubuntu 17.10 Beta. ** Changed in: gnome-tweak-tool (Ubuntu) Status: Confirmed => Fix Released ** Changed in: ubuntu-gnome Status: Confirmed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Ability to disable Hot Corner To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner
** Changed in: gnome-shell Status: Unknown => Confirmed ** Changed in: gnome-shell Importance: Unknown => Medium ** Changed in: gnome-tweak-tool Status: Invalid => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Ability to disable Hot Corner To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension
** Changed in: ubuntu-gnome Status: New => Confirmed ** Summary changed: - Ability to disable Hot Corner without having to install third-party extension + Option to disable Hot Corner -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Option to disable Hot Corner To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-tweak-tool/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension
** Also affects: gnome-tweak-tool via https://bugzilla.gnome.org/show_bug.cgi?id=761709 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Ability to disable Hot Corner without having to install third-party extension To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-tweak-tool/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-tweak-tool (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/1543099 Title: Ability to disable Hot Corner without having to install third-party extension To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-gnome/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1543099] Re: Ability to disable Hot Corner without having to install third-party extension
I have also filed a report on this issue upstream: https://bugzilla.gnome.org/show_bug.cgi?id=761709 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1543099 Title: Ability to disable Hot Corner without having to install third-party extension To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-gnome/+bug/1543099/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs