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/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 7ef63b8421223fef2518af545bf2de06cbc6bde5..fc3d08b42cd9f71c9a603f229f353c63dfcf3d72 100644 (file)
--- 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 929308c07a5309356fe02b49956527d44d23d9d5..96e26110c1f6e7116a7b3de07442c811775c5503 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1495,
 /**/
     1494,
 /**/