Edmonds done with full-time baseball