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 761709 - Option to disable Hot Corner
Option to disable Hot Corner
Status: RESOLVED OBSOLETE
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other All
: Normal enhancement
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on: 688320 783571
Blocks:
 
 
Reported: 2016-02-08 12:48 UTC by Inactive account
Modified: 2018-01-24 15:14 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement



Description Inactive account 2016-02-08 12:48:02 UTC
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.

I initially filed a report on this issue here, but thought I should also do so upstream: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1543099
Comment 1 Jeremy Bicha 2017-06-08 02:18:04 UTC
Tweak Tool is basically a front-end to various existing configuration settings. Until GNOME Shell provides an option to disable this feature, I don't see what we can really do in Tweak Tool.

Feel free to file a new bug or reopen this one if gnome-shell provides that option in the future.
Comment 2 Inactive account 2017-06-08 17:34:10 UTC
How about I file a new report under gnome-shell asking for such a feature?
Comment 3 Jeremy Bicha 2017-06-08 19:15:51 UTC
Sure. Good luck! :)
Comment 4 Inactive account 2017-06-08 20:13:02 UTC
(In reply to Jeremy Bicha from comment #3)
> Sure. Good luck! :)

Thanks, I have filed a new report as bug #783571.
Comment 5 Jeremy Bicha 2017-06-08 20:55:17 UTC
Ok, I'm reopening this since there's a proposed patch for gnome-shell for this issue. Thanks for your help!
Comment 6 Peter Y. Chuang 2017-09-11 10:19:17 UTC
Hi Jeremy,

The commit here (https://git.gnome.org/browse/gnome-tweak-tool/commit/?id=29073dd8a70e577bfada31861588eb766fd86928) says "for Ubuntu", so does that mean this option won't show up on other distros?
Comment 7 Jeremy Bicha 2017-09-30 19:31:28 UTC
Peter, if a distro wants to grab the bugzilla patch mentioned in that commit, they are welcome to uncomment the one line in gnome-tweak-tool too.

Otherwise, it's still Ubuntu-only since the gnome-shell patch hasn't been committed to git master yet.
Comment 8 GNOME Infrastructure Team 2018-01-24 15:14:23 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-tweaks/issues/65.