[gtkhtml] No GtkWidget::extension-events property in Gtk3

[Matthew Barnes <mbarnes src gnome org>]

commit 2132087cf9ab03390a824c71ba1dfda05f6cd58c
Author: Milan Crha <mcrha redhat com>
Date:   Tue Jan 25 12:48:08 2011 +0100

    No GtkWidget::extension-events property in Gtk3

 components/editor/gtkhtml-editor-builder.ui |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/components/editor/gtkhtml-editor-builder.ui b/components/editor/gtkhtml-editor-builder.ui
index d0e3673..28ef86b 100644
--- a/components/editor/gtkhtml-editor-builder.ui
+++ b/components/editor/gtkhtml-editor-builder.ui
@@ -906,7 +906,6 @@
       <object class="GtkVBox" id="replace-vbox">
         <property name="visible">True</property>
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-        <property name="extension_events">GDK_EXTENSION_EVENTS_ALL</property>
         <property name="border_width">12</property>
         <property name="spacing">12</property>
         <child>