Christopher: navigate to your ~/.themes folder and delete the name of the theme's folder.
SignedAdam:
You really have no right to demand something like that. If anyone here does not want to submit a patch then the best you can help out is confirming the bug here with a "me, too" (https://bugzilla.gnome.org/show_bug.cgi?id=591197), which noone has done for over a year, now despite my multiple requests to do so.
Christopher: navigate to your ~/.themes folder and delete the name of the theme's folder.
SignedAdam:
You really have no right to demand something like that. If anyone here does not want to submit a patch then the best you can help out is confirming the bug here with a "me, too" (https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 591197), which noone has done for over a year, now despite my multiple requests to do so.