Interpret F5 as reloading for compatibility
Fixes: https://bugs.launchpad.net/midori/+bug/772068
This commit is contained in:
parent
e66ea168c2
commit
e469e4315b
1 changed files with 6 additions and 0 deletions
|
@ -1678,6 +1678,12 @@ midori_browser_key_press_event (GtkWidget* widget,
|
||||||
gtk_action_activate (_action_by_name (browser, "TabPrevious"));
|
gtk_action_activate (_action_by_name (browser, "TabPrevious"));
|
||||||
return TRUE;
|
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)
|
if (gtk_window_get_focus (GTK_WINDOW (widget)) == NULL)
|
||||||
gtk_widget_grab_focus (midori_browser_get_current_tab (MIDORI_BROWSER (widget)));
|
gtk_widget_grab_focus (midori_browser_get_current_tab (MIDORI_BROWSER (widget)));
|
||||||
|
|
Loading…
Reference in a new issue