Merge develop to Release_2_8_3_Branch

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

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index bed9de1..39a232a 100755 (executable)
--- a/src/jalview/gui/OverviewPanel.java
+++ b/src/jalview/gui/OverviewPanel.java
@@ -22,10 +22,17 @@ package jalview.gui;
 
 import jalview.renderer.AnnotationRenderer;
 
-import java.awt.*;
-import java.awt.event.*;
-import java.awt.image.*;
-import javax.swing.*;
+import java.awt.Color;
+import java.awt.Dimension;
+import java.awt.Graphics;
+import java.awt.event.ComponentAdapter;
+import java.awt.event.ComponentEvent;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
+import java.awt.event.MouseMotionAdapter;
+import java.awt.image.BufferedImage;
+
+import javax.swing.JPanel;
 
 /**
  * DOCUMENT ME!
@@ -135,7 +142,7 @@ public class OverviewPanel extends JPanel implements Runnable
       @Override
       public void mouseDragged(MouseEvent evt)
       {
-        if (!av.wrapAlignment)
+        if (!av.getWrapAlignment())
         {
           // TODO: feature: jv2.5 detect shift drag and update selection from
           // it.
@@ -151,7 +158,7 @@ public class OverviewPanel extends JPanel implements Runnable
       @Override
       public void mousePressed(MouseEvent evt)
       {
-        if (!av.wrapAlignment)
+        if (!av.getWrapAlignment())
         {
           boxX = evt.getX();
           boxY = evt.getY();