Anyone know how to disable the annoying hot corner on the Gnome DE without installing an extension? I shouldn't have to install an extension to remove something.
There is no option in Tweaks and I tried "gsettings set org.gnome.shell enable-hot-corners false" and got an error "No such key “enable-hot-corners”