diff options
| author | Kenny Stauffer <kstauffer@gmail.com> | 2023-04-28 16:36:51 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2023-04-28 16:36:51 +0100 |
| commit | 660eb9f9db6e704e39e40c6f0bf747a14de30321 (patch) | |
| tree | b80c97ebaf1d9e178e48eebe2fb36e82eff8fd42 /src/version.c | |
| parent | bf1b7132021bac0fccefebb4a1c24a5f372bae4f (diff) | |
patch 9.0.1495: GTK3: hiding the mouse pointer does not workv9.0.1495
Problem: GTK3: hiding the mouse pointer does not work. (Rory O’Kane)
Solution: Set alpha level to zero. (Kenny Stauffer, closes #12293,
closes #3256)
Diffstat (limited to 'src/version.c')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 929308c07a..96e26110c1 100644 --- a/src/version.c +++ b/src/version.c @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1495, +/**/ 1494, /**/ 1493, |