Settings (prefs.js) won't open in Gnome 40

[webmastak]

Fix settings for Gnome 40

In logs when opening settings:

failed to add UI from file /home/andrew/.local/share/gnome-shell/extensions/[email protected]/ui/settings.glade: /home/andrew/.local/share/gnome-shell/extensions/[email protected]/ui/settings.glade:21:43 Invalid property: GtkBox.margin_left

If you delete:

            <property name="margin_left">10</property>
            <property name="margin_right">10</property>
            <property name="margin_top">10</property>
            <property name="margin_bottom">10</property>

Error:

failed to add UI from file /home/andrew/.local/share/gnome-shell/extensions/[email protected]/ui/settings.glade: /home/andrew/.local/share/gnome-shell/extensions/[email protected]/ui/settings.glade:30:1 Unhandled tag: <packing>

As I understand it is necessary to redo settings.glade for GTK 4.0

Workaround to add applications via Dconf-Editor 😟

[webmastak]

It is a pity that the author abandoned the extension. 😟