Redo stack must also be empty for option change to take effect
Adjustable-rate auto-scrolling