From 6e67c8ff6378a033e4a9767b12a3b27b1fb3b578 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Wed, 11 Apr 2012 09:31:19 +0300
Subject: [PATCH] Don't use deferred widget loading as it is currently broken
 (#8636)

---
 src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
index 854464f1ee..f65b4c51e7 100644
--- 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>
 
-- 
2.39.5