After a Rodrigo review, the patch for deleting themes in the details window of the theme preferences have been checked into cvs.
After a Rodrigo review, the patch for deleting themes in the details window of the theme preferences have been checked into cvs.