[Bug 1870830] Re: gnome-shell-extension-prefs not installed with base GNOME Shell installation

2020-04-07 Thread Jason DeRose
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:

[Bug 1870830] Re: gnome-shell-extension-prefs not installed with base GNOME Shell installation

2020-04-07 Thread Jason DeRose
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

[Bug 1870830] [NEW] gnome-shell-extension-prefs not installed with base GNOME Shell installation

2020-04-04 Thread Jason DeRose
Public bug reported: This package is required for access to the settings dialog for any Gnome Shell extension, which will throw an error without it. It is no longer installed in 20.04 by default and has to be manually installed by the user, but I believe it should be installed by default. Here

[Bug 1866146] Re: GNOME Shell 3.35.91 extension's preferences doesn't load

2020-04-04 Thread Jason DeRose
I don't think the user should need to take additional action to install this package - it should already be there, as in other distros including 3.36. This package has been present by default in previous versions of Ubuntu as well. -- You received this bug notification because you are a member