From 0c3e19d9d14dc4eedf57a24f10956cba2d9886ac Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sat, 10 Aug 2019 20:18:18 +0200
Subject: [PATCH] fixed a file naming issue

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

diff --git a/src/main/java/de/neemann/digital/gui/SaveAsHelper.java b/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
index 53274df33..4abc34d5c 100644
--- a/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
+++ b/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
@@ -31,6 +31,9 @@ public final class SaveAsHelper {
         KNOWN.add("csv");
         KNOWN.add("gif");
         KNOWN.add("png");
+        KNOWN.add("tt2");
+        KNOWN.add("cupl");
+        KNOWN.add("jed");
     }
 
     private final Component parent;