Don't use deferred widget loading as it is currently broken (#8636)

diff --git a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
index 854464f1eef6b4fa52a9650e439ffb601986f4e5..f65b4c51e7854bdb39a1290bd7851bf631ce6776 100644 (file)
--- a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
+++ b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
@@ -37,7 +37,7 @@
        </replace-with>
 
        <generate-with
-               class="com.vaadin.terminal.gwt.widgetsetutils.WidgetMapGenerator">
+               class="com.vaadin.terminal.gwt.widgetsetutils.EagerWidgetMapGenerator"> 
                <when-type-is class="com.vaadin.terminal.gwt.client.WidgetMap" />
        </generate-with>