Arch Linux

Henry78

Member

From: Vienna

Registered: 2012-01-23

Posts: 65

[SOLVED] /org/gnome/shell/extensions/user-theme/name gone?

Today I found the user theme setting missing in gnome-tweaks. Checking with DConf Editor showed "No schema available." (see screenshot).

I wonder which application or package set this key originally (gnome-shell?), why it is missing now and how to handle this? I doubt user themes settings were removed from GNOME (could not find any release note mentioning it) so I suspect a local issue.

Update/Solution:
Seems I looked at the wrong dconf entry, which cam from shell extension "user themes" (which I removed some time ago). Correct key is /org/gnome/desktop/interface/gtk-theme

Last edited by Henry78 (2022-07-15 07:49:53)