}
});
buildColourMenu();
+ buildHMMERMenu();
if (Desktop.desktop != null)
{
}
+ private void buildHMMERMenu()
+ {
+ hmmerMenu.removeAll();
+
+ hmmerMenu.add(autoAlignSeqs);
+ hmmerMenu.addSeparator();
+
+ hmmerMenu.add(hmmAlign);
+ hmmerMenu.add(hmmBuild);
+ hmmerMenu.add(hmmSearch);
+
+ }
+
/**
* Change the filename and format for the alignment, and enable the 'reload'
* button functionality.
newAlignment.append(getViewport().getAlignment());
getViewport().setAlignment(newAlignment);
isAnnotation = true;
+ alignPanel.repaint();
}
else if (FileFormat.Jnet.equals(format))