[gitg] Use Primary instead of Ctrl

[Jesse van den Kieboom <jessevdk src gnome org>]

commit 2822a88e913c98e136181cee2a5831067405fdc0
Author: Jesse van den Kieboom <jessevdk gmail com>
Date:   Sun Jan 5 18:26:20 2014 +0100

    Use Primary instead of Ctrl

 gitg/gitg-application.vala |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gitg/gitg-application.vala b/gitg/gitg-application.vala
index 0b11196..1c354dd 100644
--- a/gitg/gitg-application.vala
+++ b/gitg/gitg-application.vala
@@ -289,10 +289,10 @@ public class Application : Gtk.Application
                        add_accelerator("F1", "app.help", null);
                }
 
-               add_accelerator("<Control>F", "win.search", null);
-               add_accelerator("<Control>W", "win.close", null);
+               add_accelerator("<Primary>F", "win.search", null);
+               add_accelerator("<Primary>W", "win.close", null);
                add_accelerator("F5", "win.reload", null);
-               add_accelerator("<Control>R", "win.reload", null);
+               add_accelerator("<Primary>R", "win.reload", null);
                add_accelerator("F10", "win.gear-menu", null);
 
                // Use our own css provider