... with either the bracket keys or the slider.
Reset Tool: no change
Reset All Tools: ditto
Edit>Preferences, Turn off and turn back on desired preferences: ditto
Restart the Editor with Alt-Ctrl-Shift held down to discard the preferences: ditto
Shut down all programs and restart the machine: works but takes over 6 minutes
in advance for suggestions