gnome-shell-minimize-to-tray
gnome-shell-minimize-to-tray copied to clipboard
Settings (prefs.js) won't open in Gnome 40
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 😟
It is a pity that the author abandoned the extension. 😟