Ich habe in "Software" die Sektion der Shell Extension entdeckt. Allerdings scheint keine einzige zu funktionieren. Ich erhalte von allen Erweiterungen die ich installiert habe Fehlermeldungen wenn ich deren Optionen unter "Shell-Erweiterung" bearbeite.
Ubuntu Dock settings (Ubuntu Dock ist aktiv):
Error: Argument 'object' (type interface) may not be null Stack trace: Settings<._bindSettings@/home/vm/.local/share/gnome-shell/extensions/dock-settings@lagrangian/prefs.js:599:9 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 Settings<._init@/home/vm/.local/share/gnome-shell/extensions/dock-settings@lagrangian/prefs.js:101:9 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 _Base.prototype._construct@resource:///org/gnome/gjs/modules/_legacy.js:18:5 Class.prototype._construct/newClass@resource:///org/gnome/gjs/modules/_legacy.js:117:20 buildPrefsWidget@/home/vm/.local/share/gnome-shell/extensions/dock-settings@lagrangian/prefs.js:713:20 Application<._selectExtension@resource:///org/gnome/shell/extensionPrefs/main.js:91:22 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 Application<._extensionFound/<@resource:///org/gnome/shell/extensionPrefs/main.js:209:17 main@resource:///org/gnome/shell/extensionPrefs/main.js:402:5 @<main>:1:43
Display Profile Manager:
Error could not detect screen configuration. Extension seems not be running
Display Switcher crasht gleich das Fenster "Shell-Erweiterung"