[gtkmm] Gdk::Display: Add device_is_grabbed()

[Kjell Ahlstedt <kjellahl src gnome org>]

commit 0df605c21a4fdd89e3f12c613fb4c7c3a12cd77e
Author: Kjell Ahlstedt <kjell ahlstedt bredband net>
Date:   Tue Mar 24 15:35:28 2015 +0100

    Gdk::Display: Add device_is_grabbed()
    
    * gdk/src/display.hg: Add device_is_grabbed(). A comment in display.hg
    said that gdk_display_device_is_grabbed() is deprecated. That may be a
    mistake. It's not deprecated now, and it probably never has been.

 gdk/src/display.hg |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/gdk/src/display.hg b/gdk/src/display.hg
index a4b43b6..48e402b 100644
--- a/gdk/src/display.hg
+++ b/gdk/src/display.hg
@@ -34,6 +34,7 @@ namespace Gdk
 
 _CC_INCLUDE(gdk/gdk.h)
 
+class Device;
 class DeviceManager;
 
  /** Gdk::Display object's purpose is two fold:
@@ -64,8 +65,9 @@ public:
   _WRAP_METHOD(Glib::RefPtr<const Screen> get_default_screen() const, gdk_display_get_default_screen, 
refreturn, constversion)
 
   _IGNORE(gdk_display_pointer_ungrab, gdk_display_keyboard_ungrab,
-    gdk_display_pointer_is_grabbed, gdk_display_device_is_grabbed) //deprecated
+    gdk_display_pointer_is_grabbed) //deprecated
 
+  _WRAP_METHOD(bool device_is_grabbed(const Glib::RefPtr<const Gdk::Device>& device) const, 
gdk_display_device_is_grabbed)
   _WRAP_METHOD(void beep(), gdk_display_beep)
   _WRAP_METHOD(void sync(), gdk_display_sync)
   _WRAP_METHOD(void    close(), gdk_display_close)
@@ -75,7 +77,7 @@ public:
   _IGNORE(gdk_display_list_devices) //deprecated
 
   //TODO: Use C++ Gdk::Event:
-  //TODO: get_event() might remove the event - if so, then there should not be a const version:
+  //TODO: get_event() removes the next event, if there is one - then there should not be a const version:
   _WRAP_METHOD(GdkEvent* get_event(), gdk_display_get_event)
   _WRAP_METHOD(const GdkEvent* get_event() const, gdk_display_get_event, constversion)