From 2f1a390aaad188d1cad9fc689620ae90e027cc8a Mon Sep 17 00:00:00 2001 From: Kirill Chibisov Date: Mon, 20 Jan 2020 23:03:54 +0300 Subject: Remove scrolling.auto_scroll feature Fixes: #1873 --- alacritty_terminal/src/config/scrolling.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'alacritty_terminal/src/config') diff --git a/alacritty_terminal/src/config/scrolling.rs b/alacritty_terminal/src/config/scrolling.rs index 1746266f..358abc3b 100644 --- a/alacritty_terminal/src/config/scrolling.rs +++ b/alacritty_terminal/src/config/scrolling.rs @@ -11,8 +11,10 @@ pub struct Scrolling { history: ScrollingHistory, #[serde(deserialize_with = "failure_default")] multiplier: ScrollingMultiplier, + + // TODO: REMOVED #[serde(deserialize_with = "failure_default")] - pub auto_scroll: bool, + pub auto_scroll: Option, // TODO: DEPRECATED #[serde(deserialize_with = "failure_default")] -- cgit v1.2.3-54-g00ecf