Add keyboard controls for changing the size of the red paint brush
Currently, one has to click the toolbar icon and then the slider arrows or enter the value manually. Something like keeping Ctrl+up/down arrow pressed could help visually modify the red paint brush size