[gtkmm] Gdk::DeviceManager docs: Superseded by Gdk::Seat

[Kjell Ahlstedt <kjellahl src gnome org>]

commit 2c8c011efce8cae1e1d1a2600b9f746f2e56c51b
Author: Kjell Ahlstedt <kjell ahlstedt bredband net>
Date:   Fri May 27 16:00:31 2016 +0200

    Gdk::DeviceManager docs: Superseded by Gdk::Seat
    
    Mention in the class documentation that Gdk::Seat should be preferred
    in new code. This kind of "semi-deprecation" is used in gtk+.

 gdk/src/devicemanager.hg |   12 ++++++++++--
 1 files changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/gdk/src/devicemanager.hg b/gdk/src/devicemanager.hg
index 7d59997..1be9b4e 100644
--- a/gdk/src/devicemanager.hg
+++ b/gdk/src/devicemanager.hg
@@ -105,6 +105,10 @@ namespace Gdk
  * Gdk::DeviceManager implementation will be used as the input source. Otherwise
  * either the core or XInput 1.x implementations will be used.
  *
+ * In gtkmm 3.20, a new Gdk::Seat object has been introduced that
+ * supersedes Gdk::DeviceManager and should be preferred in newly
+ * written code.
+ *
  * @newin{3,0}
  */
 class DeviceManager : public Glib::Object
@@ -131,8 +135,12 @@ public:
   _WRAP_METHOD(Glib::RefPtr<const Device> get_client_pointer() const, gdk_device_manager_get_client_pointer, 
refreturn, constversion,
     deprecated "Use Gdk::Seat::get_pointer() instead.")
 
-  //TODO: Signals, properties.
-
+  // Signals and properties are not yet (2016-05-26) formally deprecated in
+  // gtk+, but GdkDeviceManager is not recommended for use in new code.
+  // There's no reason to wrap signals and properties now, when it was not
+  // done before Gdk::Seat was added to gtkmm.
+  _IGNORE_SIGNAL(device-added, device-removed, device-changed)
+  _IGNORE_PROPERTY(display)
 };
 
 } // namespace Gdk