pub const OPTIONS_DISCRETE_MOUSE_SCROLL: &str = "options.discrete_mouse_scroll";
“Discrete Scrolling”