X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=d1dc11de476c5f625a93841ea5d7a5aee3ee8b87;hb=621a628afc1f6ee7a2778b9d0ae2729b88fe5bfd;hp=0322bdde097374f7579b9211c75a190f8442473c;hpb=af2fbc5499bfc4764ad69e1abaa35eee4dd04817;p=jalview.git

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index 0322bdd..d1dc11d 100755
--- a/src/jalview/gui/IdPanel.java
+++ b/src/jalview/gui/IdPanel.java
@@ -106,28 +106,6 @@ public class IdPanel extends JPanel implements MouseListener,
         tip.append("</html>");
         setToolTipText(tip.toString());
       }
-
-      if(av.hasHiddenRows)
-      {
-        if(av.adjustForHiddenSeqs(seq) -
-           av.adjustForHiddenSeqs(seq-1)>1)
-        {
-          JPopupMenu pop = new JPopupMenu();
-          JMenuItem item = new JMenuItem("Reveal");
-          item.addActionListener(new ActionListener()
-          {
-            public void actionPerformed(ActionEvent e)
-            {
-              av.showSequence(seq);
-              alignPanel.repaint();
-              if(alignPanel.overviewPanel!=null)
-                alignPanel.overviewPanel.updateOverviewImage();
-            }
-          });
-          pop.add(item);
-          pop.show(this, e.getX(), e.getY());
-        }
-      }
     }