formatAdapter.formats
authoramwaterhouse <Andrew Waterhouse>
Tue, 3 May 2005 12:48:35 +0000 (12:48 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 3 May 2005 12:48:35 +0000 (12:48 +0000)
src/jalview/gui/CutAndPasteTransfer.java
src/jalview/jbgui/GAlignFrame.java

index 67bce4a..8372a79 100755 (executable)
@@ -16,8 +16,8 @@ public class CutAndPasteTransfer extends GCutAndPasteTransfer
   public CutAndPasteTransfer(boolean forImport)
   {
     super();
-    for (int i = 0; i < jalview.io.FormatProperties.getFormats().size(); i++) {
-     formatChoice.addItem((String)jalview.io.FormatProperties.getFormats().elementAt(i));
+    for (int i = 0; i < jalview.io.FormatAdapter.formats.size(); i++) {
+     formatChoice.addItem((String)jalview.io.FormatAdapter.formats.elementAt(i));
    }
 
 
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