From 3957a2555dbd81271d3e29a2f0b8f07258037e7b Mon Sep 17 00:00:00 2001
From: Christian Duerr <contact@christianduerr.com>
Date: Fri, 6 Nov 2020 17:33:02 +0000
Subject: Deprecate the WinPTY backend

---
 alacritty/src/config/mod.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'alacritty/src')

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)]
-- 
cgit