formatAdapter.formats
[jalview.git] / src / jalview / jbgui / GAlignFrame.java
index e83a074..7d931cf 100755 (executable)
@@ -146,8 +146,8 @@ public class GAlignFrame extends JInternalFrame
 \r
       JMenuItem item;\r
       // dynamically fill save as menu with available formats\r
-      for (int i = 0; i < jalview.io.FormatProperties.getFormats().size(); i++) {\r
-        item = new JMenuItem((String) jalview.io.FormatProperties.getFormats().elementAt(i));\r
+      for (int i = 0; i < jalview.io.FormatAdapter.formats.size(); i++) {\r
+        item = new JMenuItem((String) jalview.io.FormatAdapter.formats.elementAt(i));\r
         saveAlignmentMenu.add( item );\r
         item.addActionListener(new java.awt.event.ActionListener()\r
         {\r
@@ -157,7 +157,7 @@ public class GAlignFrame extends JInternalFrame
           }\r
         });\r
 \r
-        item = new JMenuItem((String) jalview.io.FormatProperties.getFormats().elementAt(i));\r
+        item = new JMenuItem((String) jalview.io.FormatAdapter.formats.elementAt(i));\r
         item.addActionListener(new java.awt.event.ActionListener()\r
         {\r
           public void actionPerformed(ActionEvent e)\r