expander: Convert to GdkEvent API

This commit is contained in:
Matthias Clasen
2017-08-25 22:52:48 -04:00
parent 7efac6bceb
commit 1200a0ec7a

View File

@@ -604,8 +604,11 @@ gtk_expander_enter_notify (GtkWidget *widget,
GdkEventCrossing *event)
{
GtkExpander *expander = GTK_EXPANDER (widget);
GdkNotifyType detail;
if (event->detail != GDK_NOTIFY_INFERIOR)
gdk_event_get_crossing_detail ((GdkEvent *)event, &detail);
if (detail != GDK_NOTIFY_INFERIOR)
{
expander->priv->prelight = TRUE;
@@ -625,8 +628,11 @@ gtk_expander_leave_notify (GtkWidget *widget,
GdkEventCrossing *event)
{
GtkExpander *expander = GTK_EXPANDER (widget);
GdkNotifyType detail;
if (event->detail != GDK_NOTIFY_INFERIOR)
gdk_event_get_crossing_detail ((GdkEvent *)event, &detail);
if (detail != GDK_NOTIFY_INFERIOR)
{
expander->priv->prelight = FALSE;