I am new to antergos and I really like the design generally, but there are two little things, that are not matching my taste.
There is the Gnome extension “User themes” and if it is active I can’t use the extensions “Dash to Dock” and “Dynamic Panel Transparency” correctly. If I make the Dock “small” in the settings menu, it looks ugly because there is a Background set from user themes for the Dock. Also there is a Background and other settings for the Panel.
Is there a chance for modifying the User theme? Where are the User theme settings saved?
I like the other settings so I dont want to turn off the whole extension.