diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-09-05 21:57:27 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-09-05 21:57:27 +0200 |
| commit | 3d8d2c7ca5dda5bfd62c6d5df6659cf62e960a3d (patch) | |
| tree | 5b7a7661af73c736fd611bfae3014ddbd5a28a82 | |
| parent | 8b53b79ea5304c7714cbb873210c82aa3fc8772f (diff) | |
patch 8.0.1059: older Gnome terminal returns smaller version numberv8.0.1059
Problem: older Gnome terminal returns smaller version number. (antarestrue)
Solution: Lower version limit from 2800 to 2500. (#2032)
| -rw-r--r-- | src/term.c | 6 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/term.c b/src/term.c index 413d4bb88d..7fa08c3dbd 100644 --- a/src/term.c +++ b/src/term.c @@ -4572,12 +4572,12 @@ check_termcode( && STRNCMP(tp + extra - 2, "1;95;0c", 7) == 0) is_not_xterm = TRUE; # endif - /* Gnome terminal sends 1;3801;0 or 1;4402;0. + /* Gnome terminal sends 1;3801;0, 1;4402;0 or 1;2501;0. * xfce4-terminal sends 1;2802;0. * screen sends 83;40500;0 - * Assuming any version number over 2800 is not an + * Assuming any version number over 2500 is not an * xterm (without the limit for rxvt and screen). */ - if (col >= 2800) + if (col >= 2500) is_not_xterm = TRUE; /* PuTTY sends 0;136;0 */ diff --git a/src/version.c b/src/version.c index 79ce0e0426..61b5b94dd1 100644 --- a/src/version.c +++ b/src/version.c @@ -770,6 +770,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1059, +/**/ 1058, /**/ 1057, |