patch 8.2.0588: Putty does not use "sgr" 'ttymouse' by default

Problem: Putty does not use "sgr" 'ttymouse' by default. Solution: Make "sgr" the default for Putty. (Christian Brabandt, closes #5942)
2020-04-17 16:40:31 +02:00
parent 21cfe500f3
commit 314ca7cbb4
2 changed files with 14 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    588,
 /**/
    587,
 /**/