Scale the eraser size with zoom
When working at a high zoom level (500, 1000%) the stock eraser doesn't scale down with the zoom level. The size of the eraser at these levels basically erases the entire screen you are viewing.
Likewise, when zoomed out (10%), the eraser is too small, and it is less efficient at erasing. I think the size of the eraser box should scale with the zoom so it feels the same in all frames.
Arnulfo Nieto commented
Please allow the eraser to be made smaller than 1.0mm. When I'm taking notes on the "ruled" background and have to zoom in, the eraser doesn't scale. So, when I have to erase a small piece of a word, etc. it erases everything. This can get very irritating when taking a lot of notes like I do.
Jonathan Knirsch commented
I double that so hard!! Should be easy to implement as well
For fine tidying up of drawings it would be better if the eraser was circular not square and if it could go smaller than 1.0mm (for use on fine detail in zoomed images)
Tony Garnock-Jones commented
When erasing with my finger at zoom 100%, the size of the box within which strokes are erased is about right. When I zoom in, however, the box grows. Essentially, it is staying the same size relative to the paper rather than relative to the display.
It should instead be the same size relative to the display (i.e. to my fingertip): zooming in should make erasing more precise and fine-grained, zooming out more coarse and over a broader area.