diff options
| -rwxr-xr-x | client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml index a8777319c3..29e8b0ca9e 100755 --- a/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml +++ b/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml @@ -8,10 +8,10 @@ <!-- Hint for WidgetSetBuilder not to automatically update the file --> <!-- WS Compiler: manually edited --> - <inherits name="com.vaadin.Vaadin" /> - <inherits name="elemental.Elemental" /> + <inherits name="com.vaadin.Vaadin" /> + <inherits name="com.google.gwt.precompress.Precompress" /> <entry-point class="com.vaadin.client.ApplicationConfiguration" /> |