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. ** Attachment added: "settings.txt" https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1878490/+attachment/5372134/+files/settings.txt -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878490 Title: Big delay between pressing the applications grid icon in dock and the start of the spring animation To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1878490/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
