From 07e8275999e21524761ccbe1d26dfb844b5007e5 Mon Sep 17 00:00:00 2001
From: Julian Lamb <thepurlieu@gmail.com>
Date: Tue, 24 Aug 2010 17:46:26 -0400
Subject: [PATCH] * change F8 shortcut to F7, per the GNOME HIG

---
 src/interface.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interface.c b/src/interface.c
index 77f4316..63b9aba 100644
--- a/src/interface.c
+++ b/src/interface.c
@@ -427,7 +427,7 @@ interface_create_gui (int req_width, int req_height)
 	gtk_tooltips_set_tip (tooltips, show_toolbar, "Toggle visibility of the toolbar", NULL);
 	gtk_container_add (GTK_CONTAINER (menuitem_view_menu), show_toolbar);
 	gtk_widget_add_accelerator (show_toolbar, "activate", accel_group,
-	                        GDK_F8, (GdkModifierType) 0, GTK_ACCEL_VISIBLE);
+	                        GDK_F7, (GdkModifierType) 0, GTK_ACCEL_VISIBLE);
 
 	show_sidepane = gtk_check_menu_item_new_with_mnemonic (_("Show _Sidepane"));
 	gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (show_sidepane), TRUE);
-- 
2.11.4.GIT