OK, I gave this another thought. gnome-themes-extras also exists in Debian, so we'd divert even further. Plus, to make this sane in any kind, I'd need to completely restructure the packaging and orig.tar.gz order.
However, it seems that the new themes that Ken added are precisely the ones that we want to install by default. Thus I'll do a completely new source package gnome-themes-ubuntu instead of mess up gnome-themes- extras even further. -- 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 Desktop Bugs, which is subscribed to gnome-themes in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs