i've added this as an issue so i don't lose it
i suggested two additional changes in the issue as a comment, i'll copy them here for completeness:
- only allow this to happen if the surrounding area also hasn't been interacted by anyone else (maybe like a 5x5 around the pixel) to be undone by the eraser
- only works for pixels placed within the last 5 minutes