Merge branch 'Jalview-JS/develop' into merge_js_develop

[jalview.git] / src / jalview / appletgui / RedundancyPanel.java

diff --git a/src/jalview/appletgui/RedundancyPanel.java b/src/jalview/appletgui/RedundancyPanel.java
index bd36b0d..6488c61 100644 (file)
--- a/src/jalview/appletgui/RedundancyPanel.java
+++ b/src/jalview/appletgui/RedundancyPanel.java
@@ -227,8 +227,7 @@ public class RedundancyPanel extends SliderPanel
       ap.alignFrame.addHistoryItem(cut);
 
       PaintRefresher.Refresh(this, ap.av.getSequenceSetId(), true, true);
-      ap.av.firePropertyChange("alignment", null,
-              ap.av.getAlignment().getSequences());
+      ap.av.notifyAlignment();
     }
 
   }
@@ -243,8 +242,7 @@ public class RedundancyPanel extends SliderPanel
     {
       ap.av.getHistoryList().remove(command);
       ap.alignFrame.updateEditMenuBar();
-      ap.av.firePropertyChange("alignment", null,
-              ap.av.getAlignment().getSequences());
+      ap.av.notifyAlignment();
     }
 
     ap.paintAlignment(true, true);