Activities corner keeps "re-enabling" itself

It appears that the Dash to Panel extension also leaves this setting permanently enabled. If you are using this, you will have to pull a commit this is AFTER May 10th, 2019, or it will be broken. As of today, there has not been a release since March, so you'll have to build master yourself.


If this is happening to anyone who isn't using that extension, here is another solution: simply add a job to crontab to reset it every 5 minutes.

 */5 * * * * gsettings set org.gnome.shell enable-hot-corners false

Despite the value never actually being true, this will still cause the gnome shell to refresh, and remember your settings.