From ae147ab2d7649e7a0bcf11b9f3db1900c1a4d594 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sat, 11 Nov 2017 17:09:09 +0100 Subject: [PATCH] patch 8.0.1288: GUI: cannot drag the statusline of a terminal window Problem: GUI: cannot drag the statusline of a terminal window. Solution: Handle the TERMINAL state. (Hirohito Higashi) --- src/gui.c | 7 +++++-- src/version.c | 2 ++ 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/src/gui.c b/src/gui.c index 74e2c838c3..2ce3009278 100644 --- a/src/gui.c +++ b/src/gui.c @@ -3118,15 +3118,18 @@ button_set: { case NORMAL_BUSY: case OP_PENDING: +# ifdef FEAT_TERMINAL + case TERMINAL: +# endif case NORMAL: checkfor = MOUSE_NORMAL; break; case VISUAL: checkfor = MOUSE_VISUAL; break; case SELECTMODE: checkfor = MOUSE_VISUAL; break; case REPLACE: case REPLACE+LANGMAP: -#ifdef FEAT_VREPLACE +# ifdef FEAT_VREPLACE case VREPLACE: case VREPLACE+LANGMAP: -#endif +# endif case INSERT: case INSERT+LANGMAP: checkfor = MOUSE_INSERT; break; case ASKMORE: diff --git a/src/version.c b/src/version.c index 89f40461c8..ee1974541d 100644 --- a/src/version.c +++ b/src/version.c @@ -761,6 +761,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1288, /**/ 1287, /**/