diff options
author | Aleksey Kuznetsov <zummenix@gmail.com> | 2019-10-16 00:13:58 +0500 |
---|---|---|
committer | Christian Duerr <contact@christianduerr.com> | 2019-10-15 21:13:58 +0200 |
commit | 49380bffd24203f139dc32c7bdc9958e64d9dd4d (patch) | |
tree | 0d4bfb3cb7f66868983a6ed5a22695749502995f /alacritty/src/config/mod.rs | |
parent | 124e98e94e66d5790d4523adb9cd75f85a4691f4 (diff) | |
download | r-alacritty-49380bffd24203f139dc32c7bdc9958e64d9dd4d.tar.gz r-alacritty-49380bffd24203f139dc32c7bdc9958e64d9dd4d.tar.bz2 r-alacritty-49380bffd24203f139dc32c7bdc9958e64d9dd4d.zip |
Add support for alternate scroll escape
Fixes #2727.
Diffstat (limited to 'alacritty/src/config/mod.rs')
-rw-r--r-- | alacritty/src/config/mod.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/alacritty/src/config/mod.rs b/alacritty/src/config/mod.rs index 8b881fca..beaffd87 100644 --- a/alacritty/src/config/mod.rs +++ b/alacritty/src/config/mod.rs @@ -202,6 +202,15 @@ fn print_deprecation_warnings(config: &Config) { "Config persistent_logging is deprecated; please use debug.persistent_logging instead" ); } + + if config.scrolling.faux_multiplier().is_some() { + warn!( + target: LOG_TARGET_CONFIG, + "Config scrolling.faux_multiplier is deprecated; the alternate scroll escape can now \ + be used to disable it and `scrolling.multiplier` controls the number of scrolled \ + lines" + ); + } } #[cfg(test)] |