checkpoint/restore
checkpoint and restore display state too
fix DEL