diff --git a/src/input_common.rs b/src/input_common.rs index ddac41b1e..63da58fc0 100644 --- a/src/input_common.rs +++ b/src/input_common.rs @@ -448,7 +448,7 @@ pub fn terminal_protocol_hacks() { else { return false; }; - version < (3, 5, 6) + version < (3, 5, 12) }), ); IN_JETBRAINS.store(