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/src/config/mod.rs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'alacritty/src') diff --git a/alacritty/src/config/mod.rs b/alacritty/src/config/mod.rs index 19889887..56e09be7 100644 --- a/alacritty/src/config/mod.rs +++ b/alacritty/src/config/mod.rs @@ -204,6 +204,14 @@ fn print_deprecation_warnings(config: &Config) { lines" ); } + + if config.scrolling.auto_scroll.is_some() { + warn!( + target: LOG_TARGET_CONFIG, + "Config scrolling.auto_scroll has been removed and is now always disabled, it can be \ + safely removed from the config" + ); + } } #[cfg(test)] -- cgit