X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FScalePanel.java;h=a6b4b49a0bc48618296fd6e299a39edf97b45eb6;hb=6d03a7bc7ca503f0e845dcbc568e44a39c842612;hp=8f49c6ce11342e657583914aa1d93fcc9ce09718;hpb=961e285f3c6769a3d68152a7784d85f6e814cafb;p=jalview.git diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index 8f49c6c..a6b4b49 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -48,7 +48,6 @@ import java.util.List; import javax.swing.JMenuItem; import javax.swing.JPanel; import javax.swing.JPopupMenu; -import javax.swing.SwingUtilities; import javax.swing.ToolTipManager; /** @@ -123,8 +122,9 @@ public class ScalePanel extends JPanel if (evt.isPopupTrigger()) // Mac: mousePressed { rightMouseButtonPressed(evt, res); + return; } - else if (SwingUtilities.isRightMouseButton(evt) && !Platform.isAMac()) + if (Platform.isWinRightButton(evt)) { /* * defer right-mouse click handling to mouse up on Windows @@ -133,10 +133,7 @@ public class ScalePanel extends JPanel */ return; } - else - { - leftMouseButtonPressed(evt, res); - } + leftMouseButtonPressed(evt, res); } /** @@ -287,6 +284,7 @@ public class ScalePanel extends JPanel mouseDragging = false; ap.getSeqPanel().stopScrolling(); + // todo res calculation should be a method on AlignViewport int xCords = Math.max(0, evt.getX()); // prevent negative X coordinates ViewportRanges ranges = av.getRanges(); int res = (xCords / av.getCharWidth()) @@ -376,6 +374,7 @@ public class ScalePanel extends JPanel { if (mouseDragging) { + mouseDragging = false; ap.getSeqPanel().stopScrolling(); } } @@ -436,7 +435,7 @@ public class ScalePanel extends JPanel @Override public void paintComponent(Graphics g) { - super.paintComponent(g); + //super.paintComponent(g); // BH 2019 /* * shouldn't get called in wrapped mode as the scale above is