JAL-3541 selectively merged build.gradle and gradle.properties
[jalview.git] / src / jalview / gui / IdPanel.java
index 3ce9d4d..4b5e9d4 100755 (executable)
@@ -21,6 +21,8 @@
 package jalview.gui;
 
 import java.awt.BorderLayout;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
 import java.awt.event.MouseEvent;
 import java.awt.event.MouseListener;
 import java.awt.event.MouseMotionListener;
@@ -31,6 +33,7 @@ import java.util.List;
 import javax.swing.JPanel;
 import javax.swing.JPopupMenu;
 import javax.swing.SwingUtilities;
+import javax.swing.Timer;
 import javax.swing.ToolTipManager;
 
 import jalview.datamodel.AlignmentAnnotation;
@@ -248,17 +251,25 @@ public class IdPanel extends JPanel
   }
 
   /**
-   * DOCUMENT ME!
+   * On (re-)entering the panel, stop any scrolling
    * 
    * @param e
-   *          DOCUMENT ME!
    */
   @Override
   public void mouseEntered(MouseEvent e)
   {
+    stopScrolling();
+  }
+
+  /**
+   * Interrupts the scroll thread if one is running
+   */
+  void stopScrolling()
+  {
     if (scrollThread != null)
     {
       scrollThread.stopScrolling();
+      scrollThread = null;
     }
   }
 
@@ -276,16 +287,72 @@ public class IdPanel extends JPanel
       return;
     }
 
-    if (mouseDragging && (e.getY() < 0)
-            && (av.getRanges().getStartSeq() > 0))
+    if (mouseDragging)
     {
-      scrollThread = new ScrollThread(true);
+      /*
+       * on mouse drag above or below the panel, start 
+       * scrolling if there are more sequences to show
+       */
+      ViewportRanges ranges = av.getRanges();
+      if (e.getY() < 0 && ranges.getStartSeq() > 0)
+      {
+        startScrolling(true);
+      }
+      else if (e.getY() >= getHeight()
+              && ranges.getEndSeq() <= av.getAlignment().getHeight())
+      {
+        startScrolling(false);
+      }
     }
+  }
 
-    if (mouseDragging && (e.getY() >= getHeight())
-            && (av.getAlignment().getHeight() > av.getRanges().getEndSeq()))
+  /**
+   * Starts scrolling either up or down
+   * 
+   * @param up
+   */
+  void startScrolling(boolean up)
+  {
+    scrollThread = new ScrollThread(up);
+    if (Platform.isJS())
+    {
+      /*
+       * for JalviewJS using Swing Timer
+       */
+      Timer t = new Timer(20, new ActionListener()
+      {
+        @Override
+        public void actionPerformed(ActionEvent e)
+        {
+          if (scrollThread != null)
+          {
+            // if (!scrollOnce() {t.stop();}) gives compiler error :-(
+            scrollThread.scrollOnce();
+          }
+        }
+      });
+      t.addActionListener(new ActionListener()
+      {
+        @Override
+        public void actionPerformed(ActionEvent e)
+        {
+          if (scrollThread == null)
+          {
+            // IdPanel.stopScrolling called
+            t.stop();
+          }
+        }
+      });
+      t.start();
+    }
+    else
+    /**
+     * Java only
+     * 
+     * @j2sIgnore
+     */
     {
-      scrollThread = new ScrollThread(false);
+      scrollThread.start();
     }
   }
 
@@ -323,7 +390,7 @@ public class IdPanel extends JPanel
      * (where isPopupTrigger() will answer true)
      * NB isRightMouseButton is also true for Cmd-click on Mac
      */
-    if (SwingUtilities.isRightMouseButton(e) && !Platform.isAMac())
+    if (Platform.isWinRightButton(e))
     {
       return;
     }
@@ -465,7 +532,7 @@ public class IdPanel extends JPanel
   {
     if (scrollThread != null)
     {
-      scrollThread.stopScrolling();
+      stopScrolling();
     }
     MousePos pos = alignPanel.getSeqPanel().findMousePosition(e);
 
@@ -534,7 +601,6 @@ public class IdPanel extends JPanel
     {
       this.up = up;
       setName("IdPanel$ScrollThread$" + String.valueOf(up));
-      start();
     }
 
     /**
@@ -549,7 +615,7 @@ public class IdPanel extends JPanel
      * Scrolls the alignment either up or down, one row at a time, adding newly
      * visible sequences to the current selection. Speed is limited to a maximum
      * of ten rows per second. The thread exits when the end of the alignment is
-     * reached or a flag is set to stop it.
+     * reached or a flag is set to stop it by a call to stopScrolling.
      */
     @Override
     public void run()
@@ -558,25 +624,7 @@ public class IdPanel extends JPanel
 
       while (running)
       {
-        ViewportRanges ranges = IdPanel.this.av.getRanges();
-        if (ranges.scrollUp(up))
-        {
-          int toSeq = up ? ranges.getStartSeq() : ranges.getEndSeq();
-          int fromSeq = toSeq < lastid ? lastid - 1 : lastid + 1;
-          IdPanel.this.selectSeqs(fromSeq, toSeq);
-
-          lastid = toSeq;
-        }
-        else
-        {
-          /*
-           * scroll did nothing - reached limit of visible alignment
-           */
-          running = false;
-        }
-
-        alignPanel.paintAlignment(false, false);
-
+        running = scrollOnce();
         try
         {
           Thread.sleep(100);
@@ -584,6 +632,27 @@ public class IdPanel extends JPanel
         {
         }
       }
+      IdPanel.this.scrollThread = null;
+    }
+
+    /**
+     * Scrolls one row up or down. Answers true if a scroll could be done, false
+     * if not (top or bottom of alignment reached).
+     */
+    boolean scrollOnce()
+    {
+      ViewportRanges ranges = IdPanel.this.av.getRanges();
+      if (ranges.scrollUp(up))
+      {
+        int toSeq = up ? ranges.getStartSeq() : ranges.getEndSeq();
+        int fromSeq = toSeq < lastid ? lastid - 1 : lastid + 1;
+        IdPanel.this.selectSeqs(fromSeq, toSeq);
+        lastid = toSeq;
+        alignPanel.paintAlignment(false, false);
+        return true;
+      }
+
+      return false;
     }
   }
 }