JAL-3074 don't scroll up/down on drag out of scale or annotation panel, performance...
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 25 Jul 2018 15:41:02 +0000 (16:41 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 25 Jul 2018 15:41:02 +0000 (16:41 +0100)
src/jalview/datamodel/Alignment.java
src/jalview/gui/ScalePanel.java
src/jalview/gui/SeqPanel.java

index 3ba35b6..93ad332 100755 (executable)
@@ -712,39 +712,10 @@ public class Alignment implements AlignmentI
   
     for (int i = 0; i < sequences.size(); i++)
     {
-      if (getSequenceAt(i).getLength() > maxLength)
-      {
-        maxLength = getSequenceAt(i).getLength();
-      }
+      maxLength = Math.max(maxLength, getSequenceAt(i).getLength());
     }
-  
     return maxLength;
   }
-  /*
-  @Override
-  public int getWidth()
-  {
-    final Wrapper temp = new Wrapper();
-  
-    forEachSequence(new Consumer<SequenceI>()
-    {
-      @Override
-      public void accept(SequenceI s)
-      {
-        if (s.getLength() > temp.inner)
-        {
-          temp.inner = s.getLength();
-        }
-      }
-    }, 0, sequences.size() - 1);
-  
-    return temp.inner;
-  }
-  
-  public static class Wrapper
-  {
-    public int inner;
-  }*/
 
   /**
    * DOCUMENT ME!
index 581fb7d..ea4b42b 100755 (executable)
@@ -35,6 +35,7 @@ import java.awt.Color;
 import java.awt.FontMetrics;
 import java.awt.Graphics;
 import java.awt.Graphics2D;
+import java.awt.Point;
 import java.awt.RenderingHints;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
@@ -286,10 +287,7 @@ public class ScalePanel extends JPanel
               .visibleToAbsoluteColumn(res);
     }
 
-    if (res >= av.getAlignment().getWidth())
-    {
-      res = av.getAlignment().getWidth() - 1;
-    }
+    res = Math.min(res, av.getAlignment().getWidth() - 1);
 
     if (!stretchingGroup)
     {
@@ -363,14 +361,16 @@ public class ScalePanel extends JPanel
 
   /**
    * Action on leaving the panel bounds with mouse drag in progress is to start
-   * scrolling the alignment in the direction of the mouse
+   * scrolling the alignment in the direction of the mouse. To restrict
+   * scrolling to left-right (not up-down), the y-value of the mouse position is
+   * replaced with zero.
    */
   @Override
   public void mouseExited(MouseEvent evt)
   {
     if (mouseDragging)
     {
-      ap.getSeqPanel().startScrolling(evt.getPoint());
+      ap.getSeqPanel().startScrolling(new Point(evt.getX(), 0));
     }
   }
 
index 134b337..401bd0a 100644 (file)
@@ -1911,10 +1911,7 @@ public class SeqPanel extends JPanel
       return;
     }
 
-    if (res >= av.getAlignment().getWidth())
-    {
-      res = av.getAlignment().getWidth() - 1;
-    }
+    res = Math.min(res, av.getAlignment().getWidth()-1);
 
     if (stretchGroup.getEndRes() == res)
     {