Don't propagate key events more than once

This fixes problems with dead keys used to type accented letters.

diff --git a/midori/midori-browser.c b/midori/midori-browser.c
index 68f658996f312ca2999abe552384d8af014fea33..2e2c4c0d2ee6899f4ec8d580b4dbf084dc08ee0d 100644 (file)
--- a/midori/midori-browser.c
+++ b/midori/midori-browser.c
@@ -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)))