diff options
author | David Benson [draw.io] <david@jgraph.com> | 2021-11-09 17:22:18 +0300 |
---|---|---|
committer | David Benson [draw.io] <david@jgraph.com> | 2021-11-09 17:22:18 +0300 |
commit | de8b542fe2cab9ba4fae8be69110f70ae2dbed8e (patch) | |
tree | 00ab769d375e52d2cb9f0dddaaac65ac1a5dfd84 /etc | |
parent | 3f7bb1f09da44090bfece5c86bbdbdbc52a106f9 (diff) |
15.7.1 releasev15.7.1
Diffstat (limited to 'etc')
-rw-r--r-- | etc/build/build.xml | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/etc/build/build.xml b/etc/build/build.xml index 415dd207..c1691004 100644 --- a/etc/build/build.xml +++ b/etc/build/build.xml @@ -53,19 +53,8 @@ <filelist dir="${basedir}" files=".tmp1.xml"/> </concat> <echo file="${basedir}/Graph-Stylesheet.js" append="true">`).documentElement;</echo> - - <delete file="${basedir}/.tmp1.js"/> - <copy file="${war.dir}/styles/dark-default.xml" tofile="${basedir}/.tmp1.xml" overwrite="true"/> - <replaceregexp file="${basedir}/.tmp1.xml" match="${line.separator}" flags="g" replace=""/> - <replaceregexp file="${basedir}/.tmp1.xml" match="\t" flags="g" replace=""/> - <replaceregexp file="${basedir}/.tmp1.xml" match="'" flags="g" replace="\\\\'" byline="true"/> - - <echo file="${basedir}/Graph-Stylesheet.js" append="true">Graph.prototype.defaultThemes['darkTheme'] = mxUtils.parseXml(`</echo> - <concat destfile="${basedir}/Graph-Stylesheet.js" fixlastline="no" append="true"> - <filelist dir="${basedir}" files=".tmp1.xml"/> - </concat> - <echo file="${basedir}/Graph-Stylesheet.js" append="true">`).documentElement;</echo> - + <echo file="${basedir}/Graph-Stylesheet.js" append="true">Graph.prototype.defaultThemes['darkTheme'] = Graph.prototype.defaultThemes['default-style2'];</echo> + <delete file="${basedir}/.tmp2.xml"/> <copy file="${war.dir}/resources/dia.txt" tofile="${basedir}/.tmp2.xml" overwrite="true"/> <replaceregexp file="${basedir}/.tmp2.xml" match="${line.separator}" flags="g" replace="\\\\n"/> |