diff options
| author | Artur Signell <artur@vaadin.com> | 2014-08-13 20:00:17 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2014-08-13 20:12:05 +0300 |
| commit | c5c6a78787dd1d86c511b50361efc9acedee6684 (patch) | |
| tree | c902dfba8cec531e31687b5c52cfb3def4f348a1 /client | |
| parent | fba69ae5d8cd617424e324c62b14225decf0315e (diff) | |
| download | vaadin-framework-c5c6a78787dd1d86c511b50361efc9acedee6684.tar.gz vaadin-framework-c5c6a78787dd1d86c511b50361efc9acedee6684.zip | |
Workaround for super dev mode line offset issue (#14051)
Change-Id: I29f59fce90b7060a97787d3c3ce12f890af40079
Diffstat (limited to 'client')
| -rwxr-xr-x | client/src/com/vaadin/DefaultWidgetSet.gwt.xml | 4 |
1 files changed, 4 insertions, 0 deletions
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> |