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/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | |
| 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/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml')
| -rw-r--r-- | src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 10 |
1 files changed, 0 insertions, 10 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" /> |