From: Marin Moulinier <marinmoulinier@free.fr>
Date: Sun, 15 May 2011 23:05:27 +0000 (+0200)
Subject: Interpret F5 as reloading for compatibility
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e469e4315b70b23452fad24d6dca1126ff376aa5;p=midori

Interpret F5 as reloading for compatibility

Fixes: https://bugs.launchpad.net/midori/+bug/772068
---

diff --git a/midori/midori-browser.c b/midori/midori-browser.c
index e4079392..74b08703 100644
--- a/midori/midori-browser.c
+++ b/midori/midori-browser.c
@@ -1678,6 +1678,12 @@ midori_browser_key_press_event (GtkWidget*   widget,
         gtk_action_activate (_action_by_name (browser, "TabPrevious"));
         return TRUE;
     }
+    /* Interpret F5 as reloading for compatibility */
+    else if (event->keyval == GDK_F5)
+    {
+        gtk_action_activate (_action_by_name (browser, "Reload"));
+        return TRUE;
+    }
 
     if (gtk_window_get_focus (GTK_WINDOW (widget)) == NULL)
         gtk_widget_grab_focus (midori_browser_get_current_tab (MIDORI_BROWSER (widget)));