On second thought, the eraser size should be saved even if the brush type is not eraser, as we can toggle this now.