gjs[11053]: JS ERROR: Failed to open preferences: Error: No property margin on GtkGrid
_init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:45:40
_initUtilitiesTab@/home/foobar/.local/share/gnome-shell/extensions/icon-hider@kalnitsky.org/prefs.js:94:20
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
_init@/home/foobar/.local/share/gnome-shell/extensions/icon-hider@kalnitsky.org/prefs.js:51:14
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
buildPrefsWidget@/home/foobar/.local/share/gnome-shell/extensions/icon-hider@kalnitsky.org/prefs.js:120:18
_init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:219:40
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:128:33
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
The margin property is set also in the second place.
Once fixed another error arises:
JS ERROR: Failed to open preferences: TypeError: this.add is not a function
_init@/home/foobar/.local/share/gnome-shell/extensions/icon-hider@kalnitsky.org/prefs.js:52:14
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
buildPrefsWidget@/home/foobar/.local/share/gnome-shell/extensions/icon-hider@kalnitsky.org/prefs.js:120:18
_init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:219:40
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:128:33
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
The error shown in logs:
The margin property is set also in the second place.
Once fixed another error arises:
Tested with Gnome 40.9 and version 24.