diff options
author | Artur Signell <artur@vaadin.com> | 2012-09-11 12:18:25 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2012-09-11 12:19:07 +0300 |
commit | f3b54b91920aff36e08785744e19abd61b66192f (patch) | |
tree | ac04e7ad8ba643b093dcf11b2003cb977b578973 /themes-compiled | |
parent | 0f5284bb827b5f04c6c064c851b851604293665a (diff) | |
download | vaadin-framework-f3b54b91920aff36e08785744e19abd61b66192f.tar.gz vaadin-framework-f3b54b91920aff36e08785744e19abd61b66192f.zip |
Use sprites for all themes (#9299)
Diffstat (limited to 'themes-compiled')
-rw-r--r-- | themes-compiled/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/themes-compiled/build.xml b/themes-compiled/build.xml index b5e27c882f..69ca9cff67 100644 --- a/themes-compiled/build.xml +++ b/themes-compiled/build.xml @@ -80,6 +80,7 @@ <arg value="${theme.result.dir}" /> <arg value="--theme-version" /> <arg value="${vaadin.version}" /> + <arg value="--sprites" /> <jvmarg value="-Xss8M" /> <jvmarg value="-XX:MaxPermSize=256M" /> <jvmarg value="-Djava.awt.headless=true" /> |