Don't propagate key events more than once

This fixes problems with dead keys used to type accented letters.
This commit is contained in:
Christian Dywan 2010-03-26 20:45:15 +01:00
parent 4a65fcca41
commit fdf075513c

View file

@ -1789,7 +1789,7 @@ midori_browser_key_press_event (GtkWidget* widget,
if (sokoke_window_activate_key (window, event))
return TRUE;
if (gtk_window_propagate_key_event (window, event))
if (!event->state && gtk_window_propagate_key_event (window, event))
return TRUE;
if (!(event->state & (GDK_CONTROL_MASK | GDK_MOD1_MASK)))