Workaround for super dev mode line offset issue (#14051)

Change-Id: I29f59fce90b7060a97787d3c3ce12f890af40079

diff --git a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml
index 27194938537de5ce662e6c6ae380db2cab3f52de..461bd5ed1b71670260ce66612ef0f35c68c11927 100755 (executable)
--- a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml
+++ b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml
@@ -14,4 +14,8 @@
         file. Speeds up compilation and does not make the Javascript significantly 
         larger. -->
     <collapse-all-properties />
+
+    <!-- Workaround for http://dev.vaadin.com/ticket/14051 -->
+    <set-property name="compiler.useSymbolMaps" value="true" />
+
 </module>