Actually, I don't think this is a wishlist item - this is a bug. If I right click the 9-dot grid "Show Applications" button at the bottom left, the click "Dash to Dock settings" on a brand new 20.04 installation, I get "Execution of gnome-shell-extension-prefs failed."
** Attachment added: "Screenshot from 2020-04-07 10-30-48.png" https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1870830/+attachment/5348752/+files/Screenshot%20from%202020-04-07%2010-30-48.png -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1870830 Title: gnome-shell-extension-prefs not installed with base GNOME Shell installation To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1870830/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
