Fire align change for case change

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index d099944..339a470 100755 (executable)
--- 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);\r
 \r
 \r
-      PaintRefresher.Refresh(this, ap.av.getSequenceSetId());\r
+      ap.av.firePropertyChange("alignment", null,\r
+                                ap.av.getAlignment().getSequences());\r
+\r
+\r
+  //    PaintRefresher.Refresh(this, ap.av.getSequenceSetId());\r
     }\r
   }\r
 \r