From 7a0133a42a128893cb08734938c8e3b55f25aefe Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Thu, 28 Oct 2010 11:04:01 +0000
Subject: [PATCH] removed workaround for a GWT bug, fixed in GWT 2.1, see #4279

svn changeset:15760/svn branch:6.5
---
 .../terminal/gwt/DefaultWidgetSet.gwt.xml     | 10 -----
 .../CustomWebkitRichTextArea.java             | 38 -------------------
 2 files changed, 48 deletions(-)
 delete mode 100644 src/com/vaadin/terminal/gwt/client/ui/richtextarea/CustomWebkitRichTextArea.java

diff --git a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
index c7809cfffe..af7b99c785 100644
--- a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
+++ b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
@@ -19,16 +19,6 @@
 		<when-property-is name="user.agent" value="ie6" />
 	</replace-with>
 
-	<!--
-		Safari needs a different implementation due to GWT bug. See #4279
-		(vaadin trac)
-	-->
-	<replace-with
-		class="com.vaadin.terminal.gwt.client.ui.richtextarea.CustomWebkitRichTextArea">
-		<when-type-is class="com.google.gwt.user.client.ui.impl.RichTextAreaImpl" />
-		<when-property-is name="user.agent" value="safari" />
-	</replace-with>
-
 	<generate-with
 		class="com.vaadin.terminal.gwt.widgetsetutils.EagerWidgetMapGenerator">
 		<when-type-is class="com.vaadin.terminal.gwt.client.WidgetMap" />
diff --git a/src/com/vaadin/terminal/gwt/client/ui/richtextarea/CustomWebkitRichTextArea.java b/src/com/vaadin/terminal/gwt/client/ui/richtextarea/CustomWebkitRichTextArea.java
deleted file mode 100644
index 94086f3d45..0000000000
--- a/src/com/vaadin/terminal/gwt/client/ui/richtextarea/CustomWebkitRichTextArea.java
+++ /dev/null
@@ -1,38 +0,0 @@
-/*
-@ITMillApache2LicenseForJavaFiles@
- */
-/**
- * 
- */
-package com.vaadin.terminal.gwt.client.ui.richtextarea;
-
-import com.google.gwt.user.client.Command;
-import com.google.gwt.user.client.DeferredCommand;
-import com.google.gwt.user.client.Element;
-import com.google.gwt.user.client.ui.impl.RichTextAreaImplSafari;
-
-/**
- * TODO remove me when GWT RichTextArea is fixed. See #4279 (vaadin trac)
- * 
- */
-class CustomWebkitRichTextArea extends RichTextAreaImplSafari {
-    public CustomWebkitRichTextArea() {
-        DeferredCommand.addCommand(new Command() {
-            public void execute() {
-                hookBlur(getElement());
-            }
-        });
-    }
-
-    private native void hookBlur(Element iframe)
-    /*-{
-
-        iframe.contentDocument.documentElement.onblur = function(evt) {
-          if (iframe.__listener) {
-            iframe.__listener.@com.google.gwt.user.client.ui.Widget::onBrowserEvent(Lcom/google/gwt/user/client/Event;)(evt);
-          }
-        };
-        
-        
-    }-*/;
-}
\ No newline at end of file
-- 
2.39.5