});
add(menuItem);
- if (sequence.hasHMMProfile())
- {
- JMenuItem selectHMM = new JCheckBoxMenuItem();
- selectHMM.setText(MessageManager.getString("label.select_hmm"));
- selectHMM.addActionListener(new ActionListener()
- {
- @Override
- public void actionPerformed(ActionEvent e)
- {
- selectHMM_actionPerformed(sequence);
- }
- });
- add(selectHMM);
- }
-
if (alignPanel.av.getSelectionGroup() != null
&& alignPanel.av.getSelectionGroup().getSize() > 1)
{
jMenu1.add(displayNonconserved);
}
- protected void selectHMM_actionPerformed(SequenceI seq)
- {
- // TODO move this to Viewport
- if (seq.hasHMMProfile())
- {
- ap.alignFrame.setSelectedHMMSequence(seq);
- }
- }
-
/**
* Constructs the entries for the colour menu
*/