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

[Milan Crha <mcrha src gnome org>]

commit 295ccc7e2bf61f4597b4994c8044120f418999b8
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>