JAL-3071 turn off 'mousedDragging' when stopping scrolling
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 26 Jul 2018 15:42:14 +0000 (16:42 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 26 Jul 2018 15:42:14 +0000 (16:42 +0100)
commit1e9fada0960dc5f73bfb873c358f0c479864aab7
tree3ba8869a5a1815873760bb7c1f3fe58fc23ccbcb
parentaaead18c6acb21da4d63f3ad9f454d9eb410152f
JAL-3071 turn off 'mousedDragging' when stopping scrolling
src/jalview/gui/AnnotationPanel.java
src/jalview/gui/ScalePanel.java