#73 Brush Size slider improvement

[harbinger]

The Brush Size slider would be better if the slider were scaled exponentially rather than linearly, since i for one need more size detail with smaller brushes rather than larger ones.