- @Override
- public void propertyChange(PropertyChangeEvent evt)
- {
- Desktop.getDesktop().propertyChange(evt);
- }
-
- /**
- * BH 2018
- *
- * @return true if we have any features
- */
- @Override
- protected boolean haveAlignmentFeatures()
- {
- AlignmentI alignment = getViewport().getAlignment();
-
- for (int i = 0; i < alignment.getHeight(); i++)
- {
- SequenceI seq = alignment.getSequenceAt(i);
- for (String group : seq.getFeatures().getFeatureGroups(true))
- {
- if (group != null)
- return true;
- }
- }
- return false;
- }
-