RefreshPanels after a colour change

[jalview.git] / src / jalview / gui / OverviewPanel.java

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index e9b7dc6..02fb656 100755 (executable)
--- a/src/jalview/gui/OverviewPanel.java
+++ b/src/jalview/gui/OverviewPanel.java
@@ -116,14 +116,17 @@ public class OverviewPanel extends JPanel
 \r
   public void updateOverviewImage()\r
   {\r
+\r
+  boolean oldRenderGaps = av.renderGaps;\r
+  av.setRenderGaps(false);\r
    miniMe = null;\r
    setPreferredSize (new Dimension(sequencesWidth, sequencesHeight+graphHeight));\r
    sequencesWidth=getWidth();\r
    sequencesHeight=this.getHeight()-graphHeight;\r
 \r
 \r
-    int fullsizeWidth = (int)(av.getAlignment().getWidth()*av.getCharWidth());\r
-    int fullsizeHeight = av.getAlignment().getHeight()*av.getCharHeight();\r
+    int fullsizeWidth  = av.getAlignment().getWidth() * av.getCharWidth();\r
+    int fullsizeHeight = av.getAlignment().getHeight()* av.getCharHeight();\r
 \r
 \r
     BufferedImage fullSize = new BufferedImage(fullsizeWidth,\r
@@ -160,6 +163,8 @@ public class OverviewPanel extends JPanel
       miniMe = null;\r
     }\r
 \r
+    av.setRenderGaps(oldRenderGaps);\r
+\r
   }\r
 \r
   public void setBoxPosition()\r