An “undo” button for undoing brushstrokes, to be placed on the palette.