JAL-3438 spotless for 2.11.2.0

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

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 9cbdd36..71b3ac7 100755 (executable)
--- 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);
   }
 
   /**