X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FOverviewPanel.java;h=71b3ac77a67940fce98b11c2d068f102407b7a5b;hb=ae3fad8019274ca3ab1258a480ba15dd9adac1e9;hp=4e69399d9cbb2aef86139288a9a5875a758597c5;hpb=3da878124135ff033f42d19d8733891b09e953cd;p=jalview.git

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 4e69399..71b3ac7 100755
--- a/src/jalview/appletgui/OverviewPanel.java
+++ b/src/jalview/appletgui/OverviewPanel.java
@@ -116,8 +116,8 @@ public class OverviewPanel extends Panel implements Runnable,
   @Override
   public void mouseClicked(MouseEvent evt)
   {
-    if ((evt.getModifiers()
-            & InputEvent.BUTTON3_MASK) == InputEvent.BUTTON3_MASK)
+    if ((evt.getModifiersEx()
+            & InputEvent.BUTTON3_DOWN_MASK) == InputEvent.BUTTON3_DOWN_MASK)
     {
       showPopupMenu(evt);
     }
@@ -133,17 +133,16 @@ public class OverviewPanel extends Panel implements Runnable,
     }
     else
     {
-      this.getParent()
-              .setCursor(
-                      Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
+      this.getParent().setCursor(
+              Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
     }
   }
 
   @Override
   public void mousePressed(MouseEvent evt)
   {
-    if ((evt.getModifiers()
-            & InputEvent.BUTTON3_MASK) == InputEvent.BUTTON3_MASK)
+    if ((evt.getModifiersEx()
+            & InputEvent.BUTTON3_DOWN_MASK) == InputEvent.BUTTON3_DOWN_MASK)
     {
       if (!Platform.isMac()) // BH was excluding JavaScript
       {
@@ -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);
   }
 
   /**