Card-editing has a new interface

Replace the original preferences-based interface for editing the card
with a more natural one.