JAL-3345 JAL3253 Smoother ScalePanel-based scrolling

[jalview.git] / src / jalview / gui / ScalePanel.java

diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java
index a6b4b49..bfa903a 100755 (executable)
--- a/src/jalview/gui/ScalePanel.java
+++ b/src/jalview/gui/ScalePanel.java
@@ -585,4 +585,10 @@ public class ScalePanel extends JPanel
     }
   }
 
+  public boolean isMouseDragging()
+  {
+    // TODO Auto-generated method stub
+    return mouseDragging;
+  }
+
 }