Make gtk_accelerator_get_default_mod_mask() return a GdkModifierType

Fixes https://bugzilla.gnome.org/show_bug.cgi?id=313350
This commit is contained in:
Alberto Garcia
2010-10-15 14:46:22 -04:00
committed by Matthias Clasen
parent b5621b3c89
commit 8d05e74212
3 changed files with 4 additions and 3 deletions

View File

@ -265,7 +265,7 @@ my_widget_expose_event_handler (GtkWidget *widget, GdkEventExpose *event)
static gboolean
my_widget_key_press_event_handler (GtkWidget *widget, GdkEventKey *event)
{
guint modifiers;
GdkModifierType modifiers;
modifiers = gtk_accelerator_get_default_mod_mask (<!-- -->);