diff options
| author | Artur Signell <artur@vaadin.com> | 2013-06-06 23:48:25 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-06-07 06:34:23 +0000 |
| commit | bca14c0d095f63275cdbe46aca946673465c56d6 (patch) | |
| tree | b180c39230d71afae5ea2852f845e1cac2ddf76b /build | |
| parent | 1b0a214100e6270abea8b9f415a0873de88aab95 (diff) | |
| download | vaadin-framework-bca14c0d095f63275cdbe46aca946673465c56d6.tar.gz vaadin-framework-bca14c0d095f63275cdbe46aca946673465c56d6.zip | |
Correctly report theme version in the debug window (#11442)
* Adds a special v-vaadin-version selector for detecting the theme version
* The version in the base theme is replaced during build (for releases) and by the current version also when compiling in the IDE
Change-Id: Id6b94ab2edead61602fed021b7152f6e46be809f
Diffstat (limited to 'build')
| -rwxr-xr-x | build/ide.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/build/ide.xml b/build/ide.xml index 5380536e2e..37cd3dd802 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -14,7 +14,6 @@ <property name="gwt.user.super.src" location="${gwt.basedir}/user/super" /> <property name="work.dir" location="work" /> - <property name="theme-version" location="9.9.9.INTERNAL-DEBUG-BUILD" /> <echo>Using gwt files from ${gwt.user.classes} and ${gwt.dev.classes}</echo> @@ -80,8 +79,6 @@ <jvmarg value="-Djava.awt.headless=true" /> <arg value="--theme" /> <arg value="${theme}" /> - <arg value="--theme-version" /> - <arg value="${theme-version}" /> <arg value="--theme-folder" /> <arg value="WebContent/VAADIN/themes" /> </java> |