From 113969d1f4185e6ee97903bf2de192194d25da7c Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sun, 29 Dec 2019 21:03:28 +0100
Subject: [PATCH] fixed an issue with the naming of the "export to zip" file

---
 src/main/java/de/neemann/digital/gui/SaveAsHelper.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/de/neemann/digital/gui/SaveAsHelper.java b/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
index 942c380f2..09eac1d04 100644
--- a/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
+++ b/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
@@ -34,6 +34,7 @@ public final class SaveAsHelper {
         KNOWN.add("tt2");
         KNOWN.add("cupl");
         KNOWN.add("jed");
+        KNOWN.add("zip");
     }
 
     private final Component parent;