Option to disable Hot Corner
Submitted by coo..@..il.com
Link to original bug (#761709)
Description
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