[meld] Add F5 as an alternative shortcut for Refresh (bgo#699725)

[Kai Willadsen <kaiw src gnome org>]

commit 692d6b09c847c9764dcb6b5a39bf2dc76e91293b
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Thu May 9 05:38:31 2013 +1000

    Add F5 as an alternative shortcut for Refresh (bgo#699725)

 meld/meldwindow.py |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/meld/meldwindow.py b/meld/meldwindow.py
index 1c78f7e..439ca1c 100644
--- a/meld/meldwindow.py
+++ b/meld/meldwindow.py
@@ -198,6 +198,8 @@ class MeldWindow(gnomeglade.Component):
         accels.connect_group(keyval, mask, 0, self.on_menu_edit_down_activate)
         (keyval, mask) = gtk.accelerator_parse("<Ctrl>E")
         accels.connect_group(keyval, mask, 0, self.on_menu_edit_up_activate)
+        (keyval, mask) = gtk.accelerator_parse("F5")
+        accels.connect_group(keyval, mask, 0, self.on_menu_refresh_activate)
 
         # Initialise sensitivity for important actions
         self.actiongroup.get_action("Stop").set_sensitive(False)