[bmedicky]

When adding annotations, I'm sure we've sometimes wanted to make corrections after the opportunity for undoing a just-added annotation has passed. Or we might wish to make a correction to an annotation that's existed for some time. This requires us to switch to the eraser tool, make corrections, and then switch back to the previous tool (usually the pencil) in order to avoid the eraser accidentally being used the next time we want to add another annotation.

Could we have a feature added to the eraser menu: a single-use mode checkbox? The idea is that when this feature is on, selecting the eraser keeps the tool enabled only as long as the stylus is within range of the screen and editing is enabled. As soon as the stylus retreats and the user-selected timeout for adding annotations passes, annotation mode switches off and the eraser is cancelled, re-enabling the tool previously selected before the eraser was needed.

If "single-use mode" sounds like a confusing name, an alternative would be something like "return to previously selected tool after using".

I like all the existing eraser features and don't want to see those removed; I just think adding this option would be really helpful. I've lost track of how many times I've selected the eraser, erased something, and then had to go through the extra step of re-enabling the pencil or other drawing tool. This new option would be super convenient and smooth out the workflow involved in annotating a score.

[McAroni]

I don't know what kind of device you're using, but if you're using an Android tablet with a stylus, you can assign the eraser function to the stylus button. Press and hold -> Eraser -> Release to return to the previous tool.
I'm not sure how it works on desktop devices, but I think you can assign the eraser to a key there as well.

[Zubersoft]

You can also use a two finger tap to switch between tools. That would let you switch to the eraser, and quickly switch back to the previous tool.

Mike

[Bhw99]

You can also use a two finger tap to switch between tools. That would let you switch to the eraser, and quickly switch back to the previous tool.

Mike

I do this on an iPad, and I frequently accidentally double tap, as there’s no real button on the stylus, just a tap sensor it seems. The most obvious way would be to have the eraser function on the other end of the stylus, but I guess that’ll be a future add on!