Update editMenuBar after alignment changed

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 4b759fd..12ae05c 100755 (executable)
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -123,6 +123,8 @@ public class AlignmentPanel extends GAlignmentPanel
     if (overviewPanel != null)\r
       overviewPanel.updateOverviewImage();\r
 \r
+    alignFrame.updateEditMenuBar();\r
+\r
     repaint();\r
   }\r
 \r