Index: trunk/src_plugins/hid_gtk/gui-output-events.c =================================================================== --- trunk/src_plugins/hid_gtk/gui-output-events.c (revision 6716) +++ trunk/src_plugins/hid_gtk/gui-output-events.c (revision 6717) @@ -142,8 +142,8 @@ ModifierKeysState mk; GdkModifierType state; -GHidPort *out = &ghid_port; -GdkModifierType mask; + GHidPort *out = &ghid_port; + GdkModifierType mask; /* Reject double and triple click events */ if (ev->type != GDK_BUTTON_PRESS)