Deleting Themes In CVS

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