After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 783571 - Ability to disable Hot Corner
Ability to disable Hot Corner
Status: RESOLVED DUPLICATE of bug 688320
Product: gnome-shell
Classification: Core
Component: overview
unspecified
Other All
: Normal enhancement
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks: 761709
 
 
Reported: 2017-06-08 20:06 UTC by Inactive account
Modified: 2017-06-08 20:47 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement


Description Inactive account 2017-06-08 20:06:30 UTC 
I think it would be nice if there were an option in the shell for one to disable the Hot Corner. This can currently be achieved by installing third-party extensions, but as this functionality is not suited to all and I find rather annoying, I think it would be nice if it were possible to achieve this via the gnome-tweak-tool, however bug #761709 is not possible until the shell has support for such functionality. So it would be nice if it could be implemented.

I have also filed a report downstream as LP ones are findable through search engines: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1696849
Comment 1 Florian Müllner 2017-06-08 20:47:41 UTC 
Thanks for taking the time to report this.
This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 688320 ***