X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FPopupMenu.java;h=4be63e44850cfde4040b7217bfabf3ba13d16171;hb=6bfaf3d3a82e4eece77dc1c2d83aede7c4dbb690;hp=9764f4a83b2305dbdd185afc4daae2b87c32796c;hpb=e5e719a4db6db7d165261151d4638547923fa5d2;p=jalview.git

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index 9764f4a..4be63e4 100755
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -115,11 +115,10 @@ public class PopupMenu extends JPopupMenu
         colours.add(PIDColour);
         colours.add(BLOSUM62Colour);
 
-        for (int i = 0; i < jalview.io.FormatAdapter.formats.size()-2; i++)
+        for (int i = 0; i < jalview.io.FormatAdapter.WRITEABLE_FORMATS.length; i++)
         {
-          JMenuItem item = new JMenuItem( (String) jalview.io.FormatAdapter.formats.
-                                         elementAt(
-                                             i));
+          JMenuItem item = new JMenuItem( jalview.io.FormatAdapter.WRITEABLE_FORMATS[i] );
+
           item.addActionListener(new java.awt.event.ActionListener()
           {
             public void actionPerformed(ActionEvent e)
@@ -207,7 +206,6 @@ public class PopupMenu extends JPopupMenu
                 public void actionPerformed(ActionEvent e)
                 {
                   ap.av.showSequence(index);
-                  ap.repaint();
                   if (ap.overviewPanel != null)
                     ap.overviewPanel.updateOverviewImage();
                 }
@@ -221,10 +219,9 @@ public class PopupMenu extends JPopupMenu
                   public void actionPerformed(ActionEvent e)
                   {
                     ap.av.showAllHiddenSeqs();
-                    ap.repaint();
                     if (ap.overviewPanel != null)
                       ap.overviewPanel.updateOverviewImage();
-                      }
+                    }
                 });
 
             add(menuItem);
@@ -1149,8 +1146,6 @@ public class PopupMenu extends JPopupMenu
         }
 
         ap.av.setSelectionGroup(null);
-        ap.repaint();
-        refresh();
     }
 
   public void copy_actionPerformed(ActionEvent e)