The thing is, as I mentioned before, this would be terribly easy to implement. In effect, it's just an UI enhancement.
The eraser tool would basically work exactly like the pencil tool internally, but instead of inserting the drawn shape, it would just automatically execute the substract operation.
Well
Bookmarks