I have loaded the gnome-shell-extension-no-hot-corner-3.28.1-11.el7.noarch and also the gnome-tweaks. When I run gnome-tweaks no where in there do I find the disable hot corner. where is that ? Its annoying when the mouse goes to the upper left and all the windows shrink. I wish to disable it. Thanks. Jerry