How do I remove the Centos 7 Desktop (Hot Corner) top right effect?

I JUST figured this out for CentOS Linux release 7.5.1804, it's Oct 6, 2018 today.

So this has been made vastly easier by the people who make CentOS.

yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner

Then, you should find it in your Applications -> Utilities -> Tweak Tool -> Extensions -> "No topleft hot corner". If the tweak tool is there but the extension is not, try rebooting. I needed to reboot, but the tutorial that I found said I shouldn't need to.

If youu don't find "No topleft hot corner" in Extensions section of Tweak Tool, Click "Get More Extensions" and search for "No topleft hot corner". Download it and add it in Extensions section and you are done.

Took a while but I found the culprit! It lives within /usr/share/gnome-shell/js/ui/layout.js Just look for the function below and comment out the code inside. Afterwards, type Alt+F2 and type restart. It's take a second or two and will only reset gnome. You might have to do a wireless re-login and system re-log, but all your applications stay alive.

_toggleOverview: function() {
    //if (this._monitor.inFullscreen)
        return;

    /*if (Main.overview.shouldToggleByCornerOrButton()) {
        this._rippleAnimation();
        Main.overview.toggle();
    }*/
},

My answer pertains to gnome 3.22 but I'm still writing this answer hoping that it might help somebody. I lost hours trying various suggested ideas until finally managed to do it in a correct way.

Find your Gnome shell version:

gnome-shell --version

Download no-topleft-hot-corner extension from gnome extensions, its ID is currently 118: https://extensions.gnome.org/extension/118/no-topleft-hot-corner/

In my case zip was: https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip

Unpack zip on correct place, I also needed to change the permissions for one of the files.

$ sudo mkdir -p "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo unzip -o ~/Downloads/[email protected] -d "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo chmod 664 [email protected]/metadata.json

Restart gnome after the installation

$ gnome-shell --replace &

Then restart the Tweak tool as well and activate the extension within it.

Note: I first tried installing the extension in user space, which did not work. Then I tried installing it in system space, and finally got it to work.