@AndreasResch There is a dedicated Eraser tool, it’s whatever shortcut key you’ve mapped to whatever eraser brush preset you like, via Ten Brushes.
The arrangement is flexible and variable according to your needs.
3 Likes