The option to hide the tool size slider is useful and sensible. However, it would be even more usable if the tool size were remembered for each tool separately. Personally, I prefer the eraser to be of a larger size than the pencil (much like a real eraser) and therefore can't benefit from the option to hide the slider.