|
@@ -82,6 +82,10 @@ public class ZipExtensionTool {
|
|
this.version = version;
|
|
this.version = version;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ public String getPath() {
|
|
|
|
+ return settingsFolder + File.separator + extensionName;
|
|
|
|
+ }
|
|
|
|
+
|
|
private void install() {
|
|
private void install() {
|
|
File folder = new File(settingsFolder + File.separator + extensionName);
|
|
File folder = new File(settingsFolder + File.separator + extensionName);
|
|
File versionFile = new File(settingsFolder + File.separator + extensionName + File.separator + ".zipextversion");
|
|
File versionFile = new File(settingsFolder + File.separator + extensionName + File.separator + ".zipextversion");
|