From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 12 Sep 2005 12:26:25 +0000 (+0000)
Subject: Update overview after change
X-Git-Tag: Release_2_05b~47
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=3dc211ddfada6bd9036697ec8236c188f131b84f;hp=d72c37ab022b3a8ff6f6cda1d3f09de5c5d004ab;p=jalview.git

Update overview after change
---

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();
     }