TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-19 09:54:49 -04:00
Code Issues Packages Projects Releases Wiki Activity

more useful manifest in exported zip file

Browse Source
This commit is contained in:
hneemann 2018-01-16 18:30:01 +01:00
parent b271685fc8
commit 3bc9f52130
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/de/neemann/digital/gui/ExportZipAction.java
View File

@ -46,9 +46,7 @@ public class ExportZipAction extends ToolTipAction {
File origin = circuit.getOrigin();
elementSet = new HashSet<>();
addFile(zip, origin, circuit);
addToZip(zip, "_readme.txt", "the main file is " + origin.getName());
addToZip(zip, "MANIFEST.TXT", "Main-Circuit: " + origin.getName() + "\n");
} catch (ElementNotFoundException e1) {
throw new IOException(Lang.get("err_errorExportingZip"), e1);
}