Watch. Press space and enter a number to set the pen size to that number.
Big thanks and lots of credit to @737275 ! I did none of the complicated stuff; I simply made it change color and allowed the pen size to change.
