Update overview after change

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index 153e9fb..1377de2 100755 (executable)
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -494,6 +494,9 @@ public class PopupMenu extends JPopupMenu
             superG.setSuperGroupProperties(sg);\r
           }\r
         }\r
+        if (ap.overviewPanel != null)\r
+          ap.overviewPanel.updateOverviewImage();\r
+\r
         ap.seqPanel.repaint();\r
     }\r
 \r