diff options
Diffstat (limited to 'client/src/com/vaadin')
| -rw-r--r-- | client/src/com/vaadin/terminal/gwt/VaadinBrowserSpecificOverrides.gwt.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/client/src/com/vaadin/terminal/gwt/VaadinBrowserSpecificOverrides.gwt.xml b/client/src/com/vaadin/terminal/gwt/VaadinBrowserSpecificOverrides.gwt.xml index b5ab61df64..04d2c18060 100644 --- a/client/src/com/vaadin/terminal/gwt/VaadinBrowserSpecificOverrides.gwt.xml +++ b/client/src/com/vaadin/terminal/gwt/VaadinBrowserSpecificOverrides.gwt.xml @@ -44,10 +44,4 @@ </any> </replace-with> - <!-- Workaround for #6682. Remove when fixed in GWT. --> - <replace-with class="com.google.gwt.dom.client.VaadinDOMImplSafari"> - <when-type-is class="com.google.gwt.dom.client.DOMImpl" /> - <when-property-is name="user.agent" value="safari" /> - </replace-with> - </module> |