WRITEABLE_FORMATS and READABLE_FORMATS string []
[jalview.git] / src / jalview / jbgui / GAlignFrame.java
index 496585b..1b03e19 100755 (executable)
@@ -148,11 +148,10 @@ public class GAlignFrame
       setJMenuBar(alignFrameMenuBar);\r
 \r
       // dynamically fill save as menu with available formats\r
-      for (int i = 0; i < jalview.io.FormatAdapter.formats.size()-2; i++)\r
+      for (int i = 0; i < jalview.io.FormatAdapter.WRITEABLE_FORMATS.length; i++)\r
       {\r
-        JMenuItem item = new JMenuItem( (String) jalview.io.FormatAdapter.formats.\r
-                             elementAt(\r
-                                 i));\r
+        JMenuItem item = new JMenuItem( jalview.io.FormatAdapter.WRITEABLE_FORMATS[i] );\r
+\r
         item.addActionListener(new java.awt.event.ActionListener()\r
         {\r
           public void actionPerformed(ActionEvent e)\r