diff options
author | Matti Tahvonen <matti.tahvonen@itmill.com> | 2010-10-28 11:04:01 +0000 |
---|---|---|
committer | Matti Tahvonen <matti.tahvonen@itmill.com> | 2010-10-28 11:04:01 +0000 |
commit | 7a0133a42a128893cb08734938c8e3b55f25aefe (patch) | |
tree | 2688cdc76ef1f6e521adff923b8a168d445754b9 /src | |
parent | dcce3dcffd0a43bccfff7b22b9f66bac0238d2b6 (diff) | |
download | vaadin-framework-7a0133a42a128893cb08734938c8e3b55f25aefe.tar.gz vaadin-framework-7a0133a42a128893cb08734938c8e3b55f25aefe.zip |
removed workaround for a GWT bug, fixed in GWT 2.1, see #4279
svn changeset:15760/svn branch:6.5
Diffstat (limited to 'src')
-rw-r--r-- | src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 10 | ||||
-rw-r--r-- | src/com/vaadin/terminal/gwt/client/ui/richtextarea/CustomWebkitRichTextArea.java | 38 |
2 files changed, 0 insertions, 48 deletions
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 |