drawing, rename brush5 to sketchBrush

Authored by timotheegiet on Jun 20 2019, 1:58 PM.