editor.scrollSensitivity option