[gnome-boxes] display: Add keyboard_grabbed property

[Zeeshan Ali Khattak <zeeshanak src gnome org>]

commit 8edbf41277e6156f55fda8121f8c0c1c8f0752f9
Author: Pavel Grunt <pgrunt redhat com>
Date:   Thu Feb 5 09:22:02 2015 +0100

    display: Add keyboard_grabbed property
    
    We'll need this in following patches for monitoring keyboard grab changes.
    
    Co-author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
    
    https://bugzilla.gnome.org/show_bug.cgi?id=743319

 src/display.vala       |    1 +
 src/spice-display.vala |    3 +++
 2 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/display.vala b/src/display.vala
index 3f7952e..0f168c4 100644
--- a/src/display.vala
+++ b/src/display.vala
@@ -8,6 +8,7 @@ private abstract class Boxes.Display: GLib.Object, Boxes.IPropertiesProvider {
     public BoxConfig? config { get; set; }
     public bool can_grab_mouse { get; protected set; }
     public bool mouse_grabbed { get; protected set; }
+    public bool keyboard_grabbed { get; protected set; }
     public bool need_password { get; protected set; }
     public bool need_username { get; protected set; }
     public string? password { get; set; }
diff --git a/src/spice-display.vala b/src/spice-display.vala
index 8c51c47..02c6683 100644
--- a/src/spice-display.vala
+++ b/src/spice-display.vala
@@ -121,6 +121,9 @@ private class Boxes.SpiceDisplay: Boxes.Display {
             display.mouse_grab.connect((status) => {
                 mouse_grabbed = status != 0;
             });
+            display.keyboard_grab.connect((status) => {
+                keyboard_grabbed = status != 0;
+            });
             config.sync_properties (this, display_sync_properties);
             display.scaling = true;