tip.append("</html>");\r
setToolTipText(tip.toString());\r
}\r
-\r
- if(av.hasHiddenRows)\r
- {\r
- if(av.adjustForHiddenSeqs(seq) -\r
- av.adjustForHiddenSeqs(seq-1)>1)\r
- {\r
- JPopupMenu pop = new JPopupMenu();\r
- JMenuItem item = new JMenuItem("Reveal");\r
- item.addActionListener(new ActionListener()\r
- {\r
- public void actionPerformed(ActionEvent e)\r
- {\r
- av.showSequence(seq);\r
- alignPanel.repaint();\r
- if(alignPanel.overviewPanel!=null)\r
- alignPanel.overviewPanel.updateOverviewImage();\r
- }\r
- });\r
- pop.add(item);\r
- pop.show(this, e.getX(), e.getY());\r
- }\r
- }\r
}\r
\r
\r