You first need to select the eraser and use Tools -> Set as Default before saving preferences. Options -> Save Preferences saves the settings of the *default* tools, not the current tools.
Denis
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
You first need to select the eraser and use Tools -> Set as Default before saving preferences. Options -> Save Preferences saves the settings of the *default* tools, not the current tools.
Denis