Gnome 40 is finally available, thanks Manjaro Team! ![]()
I have encountered some problems with this update:
- The Gnome extensions got disabled, I had to re-enable them.
- I cannot open Dash to Dock settings, and the dock looks ugly (see below).
The Dash to Dock extension is very buggy : there is no margin below, some text overlap the dash when I open activity, the background color is not contrasted enough …
Screenshots
Settings error

The settings of extension dash-to-dock@micxgx.gmail.com had an error:
Error: GSettings key preview-size-scale not found in schema org.gnome.shell.extensions.dash-to-dock
Stack trace:
_checkKey@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:563:23
createCheckedMethod/<@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:515:30
_bindSettings@/usr/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/prefs.js:545:81
_init@/usr/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/prefs.js:219:14
buildPrefsWidget@/usr/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/prefs.js:1013:20
_init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:209:40
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28
asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:177:20
main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13
run@resource:///org/gnome/gjs/modules/script/package.js:206:19
start@resource:///org/gnome/gjs/modules/script/package.js:190:8
@/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17
Do you know how to solve this problem? Am I the only one to encounter it? Thank you in advance for your answers! ![]()
EDIT (07-16-2021) : The last update of the extension (
69+14+g302c693-5) from the community repo fixed the issue. Thanks for the quick fix!

