[gnome-boxes] Remove custom Gdk.Key bindings

[Marc-Andre Lureau <malureau src gnome org>]

commit f31d9323c71e3b4924fdc418299463fcb2646b13
Author: Marc-Andrà Lureau <marcandre lureau gmail com>
Date:   Sat Jun 9 01:27:52 2012 +0200

    Remove custom Gdk.Key bindings
    
    https://bugzilla.gnome.org/show_bug.cgi?id=677739

 src/app.vala  |    2 +-
 src/util.vala |    4 ----
 2 files changed, 1 insertions(+), 5 deletions(-)
---
diff --git a/src/app.vala b/src/app.vala
index a704999..503a045 100644
--- a/src/app.vala
+++ b/src/app.vala
@@ -575,7 +575,7 @@ private class Boxes.App: Boxes.UI {
     }
 
     private bool on_key_pressed (Widget widget, Gdk.EventKey event) {
-        if (event.keyval == F11_KEY) {
+        if (event.keyval == Gdk.Key.F11) {
             fullscreen = !fullscreen;
             return true;
         }
diff --git a/src/util.vala b/src/util.vala
index f1be832..1c49873 100644
--- a/src/util.vala
+++ b/src/util.vala
@@ -9,10 +9,6 @@ public errordomain Boxes.Error {
 }
 
 namespace Boxes {
-    // FIXME: Remove these when we can use Vala release that provides binding for gdkkeysyms.h
-    public const uint F10_KEY = 0xffc7;
-    public const uint F11_KEY = 0xffc8;
-    public const uint F12_KEY = 0xffc9;
 
     public string get_pkgdata (string? file_name = null) {
         return Path.build_filename (DATADIR, Config.PACKAGE_TARNAME, file_name);