updated version: 2.0.1

GreenDelta · Sep 19, 2017 · a3ba470 · a3ba470
1 parent 2117e01
commit a3ba470
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 5 deletions.
diff --git a/META-INF/MANIFEST.MF b/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: App
 Bundle-SymbolicName: epd-editor;singleton:=true
-Bundle-Version: 1.0.0
+Bundle-Version: 2.0.1
 Bundle-Activator: app.rcp.Activator
 Eclipse-BundleShape: dir
 Require-Bundle: org.eclipse.ui,

diff --git a/app.product b/app.product
@@ -5,7 +5,7 @@
 
    <aboutInfo>
       <text>
-         EPD Editor 2.0
+         EPD Editor 2.0.1
 Copyright (c) 2017 GreenDelta. All rights reserved.
 
 This product includes software developed in the EPD Editor

diff --git a/build/make.bat b/build/make.bat
@@ -1,6 +1,6 @@
 @echo off
 
-SET version=2.0
+SET version=2.0.1
 
 REM see https://stackoverflow.com/questions/19131029/how-to-get-date-in-bat-file
 FOR /f "tokens=2 delims==" %%a IN ('wmic OS Get localdatetime /value') DO SET "dt=%%a"

diff --git a/plugin.xml b/plugin.xml
@@ -27,7 +27,7 @@
          </property>
          <property
                name="aboutText"
-               value="EPD Editor 2.0&#x0A;Copyright (c) 2017 GreenDelta. All rights reserved.&#x0A;&#x0A;This product includes software developed in the EPD Editor&#x0A;project and other open source software.&#x0A;Visit https://github.com/GreenDelta/epd-editor">
+               value="EPD Editor 2.0.1&#x0A;Copyright (c) 2017 GreenDelta. All rights reserved.&#x0A;&#x0A;This product includes software developed in the EPD Editor&#x0A;project and other open source software.&#x0A;Visit https://github.com/GreenDelta/epd-editor">
          </property>
       </product>
    </extension>

diff --git a/src/app/rcp/WorkbenchWindow.java b/src/app/rcp/WorkbenchWindow.java
@@ -25,7 +25,8 @@ public void preWindowOpen() {
 		conf.setShowStatusLine(true);
 		conf.setShowProgressIndicator(true);
 		conf.setShowMenuBar(true);
-		conf.setTitle("EPD - Editor 2.0 \u03B1");
+		conf.setTitle("EPD - Editor "
+				+ Activator.getDefault().getBundle().getVersion());
 	}
 
 	@Override