From 3dc211ddfada6bd9036697ec8236c188f131b84f Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 12 Sep 2005 12:26:25 +0000
Subject: [PATCH] Update overview after change

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

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