diff options
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> |