Not compatible with new version?

[luixal]

Hi,

Just updated to gnome 40.4 and it seems this extension is no longer compatible. Any chance it gets updated?

It seems some property is no longer supported:

/gnome-shell/extensions/[email protected]/Settings.ui:45:33 Invalid property: GtkBox.margin_left

Thanks!