| commit | c14b57c0795671bafca14433bc376acfe6135a3a | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Fri Dec 03 13:20:29 2021 +0000 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri Dec 03 13:20:29 2021 +0000 |
| tree | b3ae6ef9955b0707f6c159623bc15f72cc22011f | |
| parent | c903695be54189fd7199121e9cd669e722fbc9c2 [diff] [blame] |
patch 8.2.3727: in a gnome terminal keys are recognized as mouse events
Problem: In a gnome terminal keys are recognized as mouse events.
Solution: Only recognize DEC mouse events when four numbers are following.
(closes #9256)
diff --git a/src/version.c b/src/version.c index 9423939..184b377 100644 --- a/src/version.c +++ b/src/version.c
@@ -754,6 +754,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3727, +/**/ 3726, /**/ 3725,