Right, what Pedro said. Including third party themes into the gnome- themes package is a pain; we should put them into gnome-themes-extra, and if we don't want to install all of those by default, split that too.
I will use this bug for the package split. -- default set of installed themes needs to be changed https://bugs.launchpad.net/bugs/335888 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
