diff options
| author | Christian Duerr <contact@christianduerr.com> | 2020-11-06 17:33:02 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-06 17:33:02 +0000 |
| commit | 3957a2555dbd81271d3e29a2f0b8f07258037e7b (patch) | |
| tree | f0e5a71b5439e60eb1b20250d6ce289fc1c00bf0 /alacritty/src | |
| parent | 812c8bc14a4214e9d0970e7a333be72e745137b2 (diff) | |
| download | r-alacritty-3957a2555dbd81271d3e29a2f0b8f07258037e7b.tar.gz r-alacritty-3957a2555dbd81271d3e29a2f0b8f07258037e7b.tar.bz2 r-alacritty-3957a2555dbd81271d3e29a2f0b8f07258037e7b.zip | |
Deprecate the WinPTY backend
Diffstat (limited to 'alacritty/src')
| -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 d268d921..9aa2a74c 100644 --- a/alacritty/src/config/mod.rs +++ b/alacritty/src/config/mod.rs @@ -312,6 +312,15 @@ fn print_deprecation_warnings(config: &Config) { "Config dynamic_title is deprecated; please use window.dynamic_title instead", ) } + + #[cfg(all(windows, not(feature = "winpty")))] + if config.winpty_backend { + warn!( + target: LOG_TARGET_CONFIG, + "Config winpty_backend is deprecated and requires a compilation flag; it should be \ + removed from the config", + ) + } } #[cfg(test)] |