Support for different gnome-shell versions in "user themes" extension
It would be great if "User Themes" extension can support different versions of single theme, like it's done in gtk. I mean, custom theme should have folders like gnome-shell-3.30
, gnome-shell-3.32
and extension should pick theme depending on current gnome-shell version.
Edited by monday