TBH, I only half-understand that....
Either way one problem I have is the Eraser Tool diameter units always seem to be pixels not page units.
The other problem is that biting off a corner using either the Erase Tool or in fact using a circle of the desired diameter is that it tend to leave line segments behind at random/inconvenient places.
So what I end up doing is working with a square of the desired diameter and either adding it or cutting it off the shape in question. I then delete the unwanted line nodes and then dragging the resulting line by (roughly) it's middle to form some kind of fillet of roughly the desired radius.
Either way, yes VERY fiddly and manual.
J
Bookmarks