diff --git a/assets/settings/default.json b/assets/settings/default.json index e81060a7071d14e6fb1b451d8d2eec20e83e917c..0fb494a07d08c78e9569b396471a310781b9c1ac 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -171,6 +171,9 @@ }, // The number of lines to keep above/below the cursor when scrolling. "vertical_scroll_margin": 3, + // Scroll sensitivity multiplier. This multiplier is applied + // to both the horizontal and vertical delta values while scrolling. + "scroll_sensitivity": 1.0, "relative_line_numbers": false, // When to populate a new search's query based on the text under the cursor. // This setting can take the following three values: diff --git a/crates/editor/src/editor_settings.rs b/crates/editor/src/editor_settings.rs index 9a1e0727313a7435d0b62a2e9b6c4496f796a698..801044083af548d64a43eb4bf5a03665f54c2da5 100644 --- a/crates/editor/src/editor_settings.rs +++ b/crates/editor/src/editor_settings.rs @@ -15,6 +15,7 @@ pub struct EditorSettings { pub scrollbar: Scrollbar, pub gutter: Gutter, pub vertical_scroll_margin: f32, + pub scroll_sensitivity: f32, pub relative_line_numbers: bool, pub seed_search_query_from_cursor: SeedQuerySetting, pub multi_cursor_modifier: MultiCursorModifier, @@ -138,6 +139,11 @@ pub struct EditorSettingsContent { /// /// Default: 3. pub vertical_scroll_margin: Option, + /// Scroll sensitivity multiplier. This multiplier is applied + /// to both the horizontal and vertical delta values while scrolling. + /// + /// Default: 1.0 + pub scroll_sensitivity: Option, /// Whether the line numbers on editors gutter are relative or not. /// /// Default: false @@ -178,7 +184,7 @@ pub struct ToolbarContent { } /// Scrollbar related settings -#[derive(Copy, Clone, Debug, Serialize, Deserialize, JsonSchema, PartialEq, Eq)] +#[derive(Copy, Clone, Debug, Serialize, Deserialize, JsonSchema, PartialEq)] pub struct ScrollbarContent { /// When to show the scrollbar in the editor. /// diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs index a3e86800565986a4f196be3e4fc3ca9786f941ab..6eb99421a47e6e47d039f2c134ad75c22083eb92 100644 --- a/crates/editor/src/element.rs +++ b/crates/editor/src/element.rs @@ -2817,6 +2817,10 @@ impl EditorElement { let hitbox = layout.hitbox.clone(); let mut delta = ScrollDelta::default(); + // Set a minimum scroll_sensitivity of 0.01 to make sure the user doesn't + // accidentally turn off their scrolling. + let scroll_sensitivity = EditorSettings::get_global(cx).scroll_sensitivity.max(0.01); + move |event: &ScrollWheelEvent, phase, cx| { if phase == DispatchPhase::Bubble && hitbox.is_hovered(cx) { delta = delta.coalesce(event.delta); @@ -2841,8 +2845,11 @@ impl EditorElement { }; let scroll_position = position_map.snapshot.scroll_position(); - let x = (scroll_position.x * max_glyph_width - delta.x) / max_glyph_width; - let y = (scroll_position.y * line_height - delta.y) / line_height; + let x = (scroll_position.x * max_glyph_width + - (delta.x * scroll_sensitivity)) + / max_glyph_width; + let y = (scroll_position.y * line_height - (delta.y * scroll_sensitivity)) + / line_height; let scroll_position = point(x, y).clamp(&point(0., 0.), &position_map.scroll_max); editor.scroll(scroll_position, axis, cx);