X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;h=71b3ac77a67940fce98b11c2d068f102407b7a5b;hb=a7169b1c72607f3c9357195b4999869650a2a891;hp=9cbdd36a5e7884e53394dddd17a613ead7f36feb;hpb=17e4ea278bc9a5fb280db1252ce78b7a295215f5;p=jalview.git

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 9cbdd36..71b3ac7 100755
--- a/src/jalview/appletgui/OverviewPanel.java
+++ b/src/jalview/appletgui/OverviewPanel.java
@@ -133,9 +133,8 @@ public class OverviewPanel extends Panel implements Runnable,
     }
     else
     {
-      this.getParent()
-              .setCursor(
-                      Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
+      this.getParent().setCursor(
+              Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
     }
   }
 
@@ -156,8 +155,8 @@ public class OverviewPanel extends Panel implements Runnable,
       // (wait to see if it's a drag instead)
       // otherwise update the viewport
       if (!od.isPositionInBox(evt.getX(), evt.getY()))
-      { 
-    	draggingBox = false;
+      {
+        draggingBox = false;
 
         // display drag cursor at mouse position
         setCursor(Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR));
@@ -187,32 +186,32 @@ public class OverviewPanel extends Panel implements Runnable,
   @Override
   public void mouseDragged(MouseEvent evt)
   {
-    if (Platform.isWinRightButton(evt)) 
+    if (Platform.isWinRightButton(evt))
     {
-    	showPopupMenu(evt);
-    	return;
+      showPopupMenu(evt);
+      return;
     }
 
     if (SwingUtilities.isRightMouseButton(evt))
-    { 
-    	return;
+    {
+      return;
+    }
+
+    if (draggingBox)
+    {
+      // set the mouse position as a fixed point in the box
+      // and drag relative to that position
+      od.adjustViewportFromMouse(evt.getX(), evt.getY(),
+              av.getAlignment().getHiddenSequences(),
+              av.getAlignment().getHiddenColumns());
+    }
+    else
+    {
+      od.updateViewportFromMouse(evt.getX(), evt.getY(),
+              av.getAlignment().getHiddenSequences(),
+              av.getAlignment().getHiddenColumns());
     }
-    
-	  if (draggingBox)
-	  {
-	    // set the mouse position as a fixed point in the box
-	    // and drag relative to that position
-	    od.adjustViewportFromMouse(evt.getX(), evt.getY(),
-	            av.getAlignment().getHiddenSequences(),
-	            av.getAlignment().getHiddenColumns());
-	  }
-	  else
-	  {
-	    od.updateViewportFromMouse(evt.getX(), evt.getY(),
-	            av.getAlignment().getHiddenSequences(),
-	            av.getAlignment().getHiddenColumns());
-	  }
-	  ap.paintAlignment(false, false);
+    ap.paintAlignment(false, false);
   }
 
   /**