From 25b03f205fc61d82ba0e08e4e2f59c6738c41564 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Thu, 11 Jul 2019 10:24:02 +0200
Subject: [PATCH] fixed a bug in the suffix handling

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

diff --git a/src/main/java/de/neemann/digital/gui/SaveAsHelper.java b/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
index 0bfff6bf1..53274df33 100644
--- a/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
+++ b/src/main/java/de/neemann/digital/gui/SaveAsHelper.java
@@ -22,11 +22,12 @@ public final class SaveAsHelper {
 
     static {
         KNOWN.add("dig");
+        KNOWN.add("fsm");
+        KNOWN.add("hex");
+        KNOWN.add("tru");
         KNOWN.add("svg");
         KNOWN.add("vhdl");
         KNOWN.add("v");
-        KNOWN.add("hex");
-        KNOWN.add("tru");
         KNOWN.add("csv");
         KNOWN.add("gif");
         KNOWN.add("png");