diff options
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 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)] |