header updated

[jalview.git] / src / jalview / gui / PopupMenu.java

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index 9764f4a..3481a31 100755 (executable)
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -1,6 +1,6 @@
 /*\r
  * Jalview - A Sequence Alignment Editor and Viewer\r
- * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
  *\r
  * This program is free software; you can redistribute it and/or\r
  * modify it under the terms of the GNU General Public License\r
@@ -115,11 +115,10 @@ public class PopupMenu extends JPopupMenu
         colours.add(PIDColour);\r
         colours.add(BLOSUM62Colour);\r
 \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
@@ -207,7 +206,6 @@ public class PopupMenu extends JPopupMenu
                 public void actionPerformed(ActionEvent e)\r
                 {\r
                   ap.av.showSequence(index);\r
-                  ap.repaint();\r
                   if (ap.overviewPanel != null)\r
                     ap.overviewPanel.updateOverviewImage();\r
                 }\r
@@ -221,10 +219,9 @@ public class PopupMenu extends JPopupMenu
                   public void actionPerformed(ActionEvent e)\r
                   {\r
                     ap.av.showAllHiddenSeqs();\r
-                    ap.repaint();\r
                     if (ap.overviewPanel != null)\r
                       ap.overviewPanel.updateOverviewImage();\r
-                      }\r
+                    }\r
                 });\r
 \r
             add(menuItem);\r
@@ -1149,8 +1146,6 @@ public class PopupMenu extends JPopupMenu
         }\r
 \r
         ap.av.setSelectionGroup(null);\r
-        ap.repaint();\r
-        refresh();\r
     }\r
 \r
   public void copy_actionPerformed(ActionEvent e)\r