Per <http://bugzilla.gnome.org/show_bug.cgi?id=562371#c10> this appears to be committed. The linked bug, on the other hand, does not really match this issue.
When I get a chance, I'll try to patch and confirm fixed myself. -- installed GTK themes are not completely deleted in gnome-appearance-properties https://bugs.launchpad.net/bugs/301749 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
