I tried to use this awesome extension (experimental branch) on gnome 40 but the extension doesn't work i cant active the extension, and the issue is this one:
Error: No property margin on Gjs_PrefsWindowForTheme_PersonalizeExtension
_init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:45:40
_parent@resource:///org/gnome/gjs/modules/script/_legacy.js:40:21
_init@/home/julianfaustino/.local/share/gnome-shell/extensions/personalize@Selenium-H/prefs.js:226:10
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
_parent@resource:///org/gnome/gjs/modules/script/_legacy.js:40:21
_init@/home/julianfaustino/.local/share/gnome-shell/extensions/personalize@Selenium-H/prefs.js:345:10
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
_init@/home/julianfaustino/.local/share/gnome-shell/extensions/personalize@Selenium-H/prefs.js:203:25
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
buildPrefsWidget@/home/julianfaustino/.local/share/gnome-shell/extensions/personalize@Selenium-H/prefs.js:34:18
_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