From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 26 Jul 2018 15:42:14 +0000 (+0100)
Subject: JAL-3071 turn off 'mousedDragging' when stopping scrolling
X-Git-Tag: Release_2_11_4_0~45^2~18^2~496^2~1
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1e9fada0960dc5f73bfb873c358f0c479864aab7;p=jalview.git

JAL-3071 turn off 'mousedDragging' when stopping scrolling
---

diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java
index 822c6d2..1460985 100755
--- a/src/jalview/gui/AnnotationPanel.java
+++ b/src/jalview/gui/AnnotationPanel.java
@@ -654,6 +654,7 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
   @Override
   public void mouseEntered(MouseEvent evt)
   {
+    this.mouseDragging = false;
     ap.getScalePanel().mouseEntered(evt);
   }
 
diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java
index 6a44d06..8771119 100755
--- a/src/jalview/gui/ScalePanel.java
+++ b/src/jalview/gui/ScalePanel.java
@@ -354,6 +354,7 @@ public class ScalePanel extends JPanel
   {
     if (mouseDragging)
     {
+      mouseDragging = false;
       ap.getSeqPanel().stopScrolling();
     }
   }