From ddb541d14e7e192655b2b5c57d30af6f9d83007e Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 2 Nov 2006 15:12:11 +0000
Subject: [PATCH] Fire align change for case change

---
 src/jalview/gui/PopupMenu.java |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index d099944..339a470 100755
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -1242,7 +1242,11 @@ public class PopupMenu extends JPopupMenu
       ap.alignFrame.addHistoryItem(caseCommand);
 
 
-      PaintRefresher.Refresh(this, ap.av.getSequenceSetId());
+      ap.av.firePropertyChange("alignment", null,
+                                ap.av.getAlignment().getSequences());
+
+
+  //    PaintRefresher.Refresh(this, ap.av.getSequenceSetId());
     }
   }
 
-- 
1.7.10.2