From b43cedc0630eb10f2414ba940b075c9467bcb3b5 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 2 Nov 2006 15:13:16 +0000
Subject: [PATCH] Update editMenuBar after alignment  changed

---
 src/jalview/gui/AlignmentPanel.java |    2 ++
 1 file changed, 2 insertions(+)

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