A deck editor for Magic: the Gathering