The eraser tool does not work well in #20. This pr is to fix it.
As the comment says, if I follow the steps, there will be some weird chars on the canvas, since the version vector is not cleared. Then it is fixed with these changes: history.rs and eraser.rs.
The eraser tool does not work well in #20. This pr is to fix it.
As the comment says, if I follow the steps, there will be some weird chars on the canvas, since the version vector is not cleared. Then it is fixed with these changes: history.rs and eraser.rs.