[gtkmm] Gtk::Widget: Remove property_events()

[Kjell Ahlstedt <kjellahl src gnome org>]

commit f3a19d2a7dc587d92e3df35080dffc9c0fb8c2e7
Author: Kjell Ahlstedt <kjellahlstedt gmail com>
Date:   Mon May 29 13:42:39 2017 +0200

    Gtk::Widget: Remove property_events()
    
    Because it was removed from the GTK+ API:
    https://git.gnome.org/browse/gtk+/commit/?id=a72404dd5ab1874ac3d601cd94e0fa7184873851

 gtk/src/widget.hg |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/gtk/src/widget.hg b/gtk/src/widget.hg
index 53c38f9..689a6c9 100644
--- a/gtk/src/widget.hg
+++ b/gtk/src/widget.hg
@@ -686,7 +686,6 @@ _CONVERSION(`GdkScreen*',`const Glib::RefPtr<Gdk::Screen>&',`Glib::wrap($3, true
   _WRAP_PROPERTY("can_default", bool)
   _WRAP_PROPERTY("has_default", bool)
   _WRAP_PROPERTY("receives_default", bool)
-  _WRAP_PROPERTY("events", Gdk::EventMask)
   _WRAP_PROPERTY("has_tooltip", bool)
   _WRAP_PROPERTY("tooltip_markup", Glib::ustring)
   _WRAP_PROPERTY("tooltip_text", Glib::ustring)