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 | |
| 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)
| -rw-r--r-- | src/gui_gtk_x11.c | 2 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 7ef63b8421..fc3d08b42c 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -2682,7 +2682,7 @@ create_blank_pointer(void) #endif GdkCursor *cursor; #if GTK_CHECK_VERSION(3,0,0) - GdkRGBA color = { 0.0, 0.0, 0.0, 1.0 }; + GdkRGBA color = { 0.0, 0.0, 0.0, 0.0 }; #else GdkColor color = { 0, 0, 0, 0 }; char blank_data[] = { 0x0 }; 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, |