After erasing a line, "Undo" should bring the line back
After erasing a line, "Undo" should bring the line back