the right-hand panel displays "Brush Properties" when selecting the eraser. would expect it to show Eraser properties, in the same way it supports Paint Bucket Properties when the paint bucket is selected