I have installed CentOS 7 which uses gnome classic, and am finding the hot corner extremely painfully annoying.
How do I remove/disable it?
I have installed CentOS 7 which uses gnome classic, and am finding the hot corner extremely painfully annoying.
How do I remove/disable it?
Install the extension No Topleft Hot Corner.
You can do this from your browser, visiting https://extensions.gnome.org/ . You'll need to allow the appropriate plugin to run (on Firefox, it's the plugin Gnome Shell Integration).
It's insane that you need to install an extension just to disable such an annoying "feature". But at least, you don't really need to go the even crazier route of first installing a browser extension, as was apparently the case in 2015.
This should work:
sudo yum -y install gnome-shell-extension-no-hot-corner
Then use the Gnome Tweak Tool to enable the "No topleft hot corner" extension.
Use this awk 'one-liner':
awk '/this._corner = new Clutter.Rectangle/,/ });/ { sub(/reactive: true/, "reactive: false");} { print }' /usr/share/gnome-shell/js/ui/layout.js > /usr/share/gnome-shell/js/ui/layout.js.tmp;
mv /usr/share/gnome-shell/js/ui/layout.js /usr/share/gnome-shell/js/ui/layout.js.orig
mv /usr/share/gnome-shell/js/ui/layout.js.tmp /usr/share/gnome-shell/js/ui/layout.js
Gnome3: Disable Hot Corners | IT From All Angles
(Archived copy by Wayback Machine on 2015 September)