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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
