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 /common.xml | |
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 'common.xml')
-rw-r--r-- | common.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/common.xml b/common.xml index f00d4c8baf..f1245724c4 100644 --- a/common.xml +++ b/common.xml @@ -37,7 +37,10 @@ <antcontrib:propertyregex property="vaadin.version.revision" input="${vaadin.version}" regexp="([^\.]*)\.([^\.]*)\.([^\.]*)" select="\3" /> - + <filterset begintoken="@" endtoken="@" id="filter-vaadin.version"> + <filter token="version" value="${vaadin.version}" /> + </filterset> + <union id="empty.reference" /> <property name="filtered.webcontent.dir" |