Extension doesn't work with new Gnome 40 version

[demiurg906]

Here is log of error:

The settings of extension wsmatrix@martin.zurowietz.de had an error:

Gtk.BuilderError: /home/demiurg/.local/share/gnome-shell/extensions/wsmatrix@martin.zurowietz.de/settings.ui:9:35 Invalid property: GtkBox.margin_left

Stack trace:

_init@/home/demiurg/.local/share/gnome-shell/extensions/wsmatrix@martin.zurowietz.de/prefs.js:16:23
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
buildPrefsWidget@/home/demiurg/.local/share/gnome-shell/extensions/wsmatrix@martin.zurowietz.de/prefs.js:145:17
_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

[ebeem]

check out #152 It's still not merged yet, but in case you have any issues you can comment in the PR.

[demiurg906]

Thank you!