Merge branch 'Jalview-JS/develop' into merge_js_develop

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

diff --git a/src/jalview/appletgui/AlignViewport.java b/src/jalview/appletgui/AlignViewport.java
index 97eb0c0..e2eebfc 100644 (file)
--- a/src/jalview/appletgui/AlignViewport.java
+++ b/src/jalview/appletgui/AlignViewport.java
@@ -340,7 +340,7 @@ public class AlignViewport extends AlignmentViewport
     if (mappedCommand != null)
     {
       mappedCommand.doCommand(null);
-      firePropertyChange("alignment", null, getAlignment().getSequences());
+      notifyAlignment();
 
       // ap.scalePanelHolder.repaint();
       // ap.repaint();