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 7ef63b8..fc3d08b 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -2682,7 +2682,7 @@
#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 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,