import java.awt.event.MouseMotionListener;
import java.beans.PropertyChangeEvent;
+import javax.swing.SwingUtilities;
+
public class OverviewPanel extends Panel implements Runnable,
MouseMotionListener, MouseListener, ViewportListenerI
{
}
else
{
- this.getParent()
- .setCursor(
- Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
+ this.getParent().setCursor(
+ Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
}
}
if ((evt.getModifiersEx()
& InputEvent.BUTTON3_DOWN_MASK) == InputEvent.BUTTON3_DOWN_MASK)
{
- if (!Platform.isAMac())
+ if (!Platform.isMac()) // BH was excluding JavaScript
{
showPopupMenu(evt);
}
// (wait to see if it's a drag instead)
// otherwise update the viewport
if (!od.isPositionInBox(evt.getX(), evt.getY()))
- {
- draggingBox = false;
+ {
+ draggingBox = false;
// display drag cursor at mouse position
setCursor(Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR));
@Override
public void mouseDragged(MouseEvent evt)
{
- if ((evt.getModifiersEx()
- & InputEvent.BUTTON3_DOWN_MASK) == InputEvent.BUTTON3_DOWN_MASK)
+ if (Platform.isWinRightButton(evt))
{
- if (!Platform.isAMac())
- {
- showPopupMenu(evt);
- }
+ showPopupMenu(evt);
+ return;
+ }
+
+ if (SwingUtilities.isRightMouseButton(evt))
+ {
+ return;
+ }
+
+ if (draggingBox)
+ {
+ // set the mouse position as a fixed point in the box
+ // and drag relative to that position
+ od.adjustViewportFromMouse(evt.getX(), evt.getY(),
+ av.getAlignment().getHiddenSequences(),
+ av.getAlignment().getHiddenColumns());
}
else
{
- if (draggingBox)
- {
- // set the mouse position as a fixed point in the box
- // and drag relative to that position
- od.adjustViewportFromMouse(evt.getX(), evt.getY(),
- av.getAlignment().getHiddenSequences(),
- av.getAlignment().getHiddenColumns());
- }
- else
- {
- od.updateViewportFromMouse(evt.getX(), evt.getY(),
- av.getAlignment().getHiddenSequences(),
- av.getAlignment().getHiddenColumns());
- }
- ap.paintAlignment(false, false);
+ od.updateViewportFromMouse(evt.getX(), evt.getY(),
+ av.getAlignment().getHiddenSequences(),
+ av.getAlignment().getHiddenColumns());
}
+ ap.paintAlignment(false, false);
}
/**