| commit | 660eb9f9db6e704e39e40c6f0bf747a14de30321 | [log] [tgz] |
|---|---|---|
| author | Kenny Stauffer <kstauffer@gmail.com> | Fri Apr 28 16:36:51 2023 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri Apr 28 16:36:51 2023 +0100 |
| tree | b80c97ebaf1d9e178e48eebe2fb36e82eff8fd42 | |
| parent | bf1b7132021bac0fccefebb4a1c24a5f372bae4f [diff] [blame] |
patch 9.0.1495: GTK3: hiding the mouse pointer does not work
Problem: GTK3: hiding the mouse pointer does not work. (Rory O’Kane)
Solution: Set alpha level to zero. (Kenny Stauffer, closes #12293,
closes #3256)
diff --git a/src/version.c b/src/version.c index 929308c..96e2611 100644 --- a/src/version.c +++ b/src/version.c
@@ -696,6 +696,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1495, +/**/ 1494, /**/ 1493,