Oddly, while doing this I noticed that some extensions that I uninstalled long ago (even before upgrading to 20.04) where marked as active by gsettings. Pop-shell and cast-to-tv for example. I had to manually remove their entries using dconf.
I will run in this configuration for a while and see if the bug is still present.
Done, here is the settings.txt
Oddly, while doing this I noticed that some extensions that I uninstalled long ago (even before upgrading to 20.04) where marked as active by gsettings. Pop-shell and cast-to-tv for example. I had to manually remove their entries using dconf.
I will run in this configuration for a while and see if the bug is still present.