A tool that changes the colour of existing handwritten strokes in the same way that the stroke eraser removes handwritten strokes. Rather than having to make careful lasso selections around pen strokes then selecting colour, users could use this tool to quickly edit the colour of their text to highlight certain words using different colours really easily. This tool would have a colour pallet much like the pen tool that decides the colour the strokes will be changed to when painted over.

The attached gif demonstrates the functionality of the proposed tool