Activities Hot Corner Preference not persistent across restarts, reboot, logouts, etc.

[mcoyle1960]

Using both the version on Gnome Extensions, and a Github pull from 4/30/18, I have the following problem.

I can turn off the Hot Corner, but after a logout or restart the setting reverts to the Hot Corner being active.

Thanks for all the hard work.

[The-Panacea-Projects]

Thanks for the feedback. The latest commit fixes this issue.

[mcoyle1960]

Hi!
Preference is now saved across restart and logout, but unfortunately, it is not saved after sleep/hibernation.

[mcoyle1960]

I believe this problem is tied to a setting in Gnome Tweak Tool. Under "Topbar", there is a toggle for "Activities Overview Hot Corner". Turning that setting off in Tweak Tool allows the setting to work correctly in Gnomenu.

[The-Panacea-Projects]

Interesting. I'm not seeing that option in Gnome Tweaks. What version of Gnome (& Tweak Tool) are you running?

[mcoyle1960]

It's a fairly fresh install of Ubuntu 18.04 with gnome-session. The versions of Gnome and Gnome Tweak are both 3.28.1 (Image attached)

Let me know if you need anything else.

Here are the other extensions I have installed:

Auto Move Windows by fmuellner
Better OSD by StopLemming
Dash to Dock by michele_g
Gno-Menu by Panacier
Gradient Top Bar by jpec
OpenWeather by jens
Panel OSD by jens
Status Area Horizontal Spacing by p91paul
system-monitor by Cerin
TopIcons Plus by phocean
User Themes by fmuellner
Walkpaper by blinkbp
Workspaces to Dock by passingthru67

[The-Panacea-Projects]

I'm still looking into an alternative method for disabling the hot corner. But, I'm not sure if it will work.

[mcoyle1960]

I have faith in your awesomeness. :-)