mjakeman / extension-manager

A utility for browsing and installing GNOME Shell Extensions.
https://mattjakeman.com/apps/extension-manager
GNU General Public License v3.0
1.01k stars 80 forks source link

Does not support/respect shell-theme #680

Closed seanmrnda closed 4 months ago

seanmrnda commented 4 months ago

Describe the bug Does not support/respect shell themes. System Information:

Additional context

mjakeman commented 4 months ago

Hi, I'm not quite sure what you mean by Shell theme here.

If there's a problem with the User Themes extension specifically, you can file an issue with its maintainers here. This repo is for the extension manager tool only.

If you are asking about theming/customising Extension Manager, note that we use libadwaita. This means it doesn't theme conventionally (i.e. using CSS overrides). If you would like to customise the appearance of Extension Manager, you can use Gradiance.

seanmrnda commented 4 months ago

Thank you.