In Ubuntu 18.04, using Gnome Tweak tool there's a way to disable the Activities hot corner. I have a multi-monitor setup, so having this feature on is extremely annoying. Anyway… After a couple of minutes (sometimes just seconds) the corner seems to re-enable itself. I check on the setting on Gnome Tweak and it's indeed disable. Here's a gif of the situation:
It seems that the problem happens after gnome-shell is restarted. Seems like this might be a bug, which if confirmed I will report it.
Any ideas on how can I prevent this from happening?
Best Answer
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.Despite the value never actually being true, this will still cause the gnome shell to refresh, and remember your settings.