GDK_VISIBILITY_NOTIFY events were not working at all. It was my

fault; I wrote them hurriedly before going on vacation, and I never
did any testing.  Sorry :-)

Apart from the fix in Gdk, I added the corresponding
"visibility_notify_event" to GtkWidget.

- Federico

3 files changed, 7 insertions, 7 deletions

diff --git a/gdk/gdktypes.h b/gdk/gdktypes.h
index 96398c3fca..d69e055572 100644
--- a/gdk/gdktypes.h
+++ b/gdk/gdktypes.h
@@ -373,9 +373,9 @@ typedef enum
   GDK_FOCUS_CHANGE_MASK         = 1 << 14,
   GDK_STRUCTURE_MASK            = 1 << 15,
   GDK_PROPERTY_CHANGE_MASK      = 1 << 16,
-  GDK_PROXIMITY_IN_MASK         = 1 << 17,
-  GDK_PROXIMITY_OUT_MASK        = 1 << 18,
-  GDK_VISIBILITY_NOTIFY_MASK    = 1 << 19,
+  GDK_VISIBILITY_NOTIFY_MASK    = 1 << 17,
+  GDK_PROXIMITY_IN_MASK         = 1 << 18,
+  GDK_PROXIMITY_OUT_MASK        = 1 << 19,
   GDK_ALL_EVENTS_MASK           = 0x07FFFF
 } GdkEventMask;
 
diff --git a/gdk/gdkwindow.c b/gdk/gdkwindow.c
index 11d59774b1..cb1cae8ab0 100644
--- a/gdk/gdkwindow.c
+++ b/gdk/gdkwindow.c
@@ -46,9 +46,9 @@ int event_mask_table[19] =
   FocusChangeMask,
   StructureNotifyMask,
   PropertyChangeMask,
+  VisibilityChangeMask,
   0,				/* PROXIMITY_IN */
-  0,				/* PROXIMTY_OUT */
-  VisibilityChangeMask
+  0				/* PROXIMTY_OUT */
 };
 
 
diff --git a/gdk/x11/gdkwindow-x11.c b/gdk/x11/gdkwindow-x11.c
index 11d59774b1..cb1cae8ab0 100644
--- a/gdk/x11/gdkwindow-x11.c
+++ b/gdk/x11/gdkwindow-x11.c
@@ -46,9 +46,9 @@ int event_mask_table[19] =
   FocusChangeMask,
   StructureNotifyMask,
   PropertyChangeMask,
+  VisibilityChangeMask,
   0,				/* PROXIMITY_IN */
-  0,				/* PROXIMTY_OUT */
-  VisibilityChangeMask
+  0				/* PROXIMTY_OUT */
 };