WRITEABLE_FORMATS and READABLE_FORMATS string []

[jalview.git] / src / jalview / appletgui / AlignFrame.java

diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java
index 1ff729d..eb6fe49 100755 (executable)
--- a/src/jalview/appletgui/AlignFrame.java
+++ b/src/jalview/appletgui/AlignFrame.java
@@ -1937,12 +1937,11 @@ public void itemStateChanged(ItemEvent evt)
       MenuItem item;\r
 \r
       // dynamically fill save as menu with available formats\r
-      for (int i = 0; i < jalview.io.AppletFormatAdapter.formats.size()-2; i++)\r
+      for (int i = 0; i < jalview.io.AppletFormatAdapter.WRITEABLE_FORMATS.length; i++)\r
       {\r
 \r
-        item = new MenuItem( (String) jalview.io.AppletFormatAdapter.formats.\r
-                            elementAt(\r
-                                i));\r
+        item = new MenuItem( jalview.io.AppletFormatAdapter.WRITEABLE_FORMATS[i]);\r
+\r
         item.addActionListener(new java.awt.event.ActionListener()\r
         {\r
           public void actionPerformed(ActionEvent e)\r