From c5c6a78787dd1d86c511b50361efc9acedee6684 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Wed, 13 Aug 2014 20:00:17 +0300
Subject: Workaround for super dev mode line offset issue (#14051)

Change-Id: I29f59fce90b7060a97787d3c3ce12f890af40079
---
 client/src/com/vaadin/DefaultWidgetSet.gwt.xml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'client')

diff --git a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml
index 2719493853..461bd5ed1b 100755
--- 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>
-- 
cgit v1.2.3