Open micheleb opened 11 years ago
Sometimes it's a pain to delete strokes: the eraser should have a visible size, and whatever the displayed surface "touches" a stroke, the stroke should be deleted
eraser is now drawn as a circle
Sometimes it's a pain to delete strokes: the eraser should have a visible size, and whatever the displayed surface "touches" a stroke, the stroke should be deleted