That's bug 1869635. It's unclear if that option should work or shouldn't
be shown at all. Still, it's best discussed in bug 1869635.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
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:
If this is intentional, then the package should also be added as a
dependency to gnome-shell-extension-dash-to-panel and other gnome-shell-
extension-* packages which require settings access.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is
Although it is now installed automatically if you install gnome-tweaks
(bug 1868932).
--
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
** Tags added: focal
** Changed in: gnome-shell (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: gnome-shell (Ubuntu)
Status: New => Opinion
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.