pressing “undo” undoes this, at least, but it would be nice to fix
pressing “undo” undoes this, at least, but it would be nice to fix