import java.awt.BorderLayout;
import java.awt.Cursor;
import java.awt.Dimension;
-import java.awt.Image;
-import java.awt.Point;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.event.ComponentAdapter;
import java.beans.PropertyChangeEvent;
import java.beans.PropertyVetoException;
-import javax.swing.ImageIcon;
import javax.swing.JCheckBoxMenuItem;
import javax.swing.JInternalFrame;
import javax.swing.JPanel;
public class OverviewPanel extends JPanel
implements Runnable, ViewportListenerI
{
- protected Image dragImage = new ImageIcon(
- getClass().getResource("/images/dragcursor.png"))
- .getImage();
-
private OverviewDimensions od;
private OverviewCanvas oviewCanvas;
this.ap = alPanel;
showHidden = Cache.getDefault(Preferences.SHOW_OV_HIDDEN_AT_START,
- true);
+ false);
if (showHidden)
{
od = new OverviewDimensionsShowHidden(av.getRanges(),
// without this the overview window does not size to fit the overview canvas
setPreferredSize(new Dimension(od.getWidth(), od.getHeight()));
-
- // set up custom cursor for use on Mac...
- Point hotSpot = new Point(16, 16);
- String cursorName = "Custom drag cursor";
-
- Cursor tempCursor;
- if (Platform.isAMac())
- {
- tempCursor = getToolkit().createCustomCursor(dragImage, hotSpot,
- cursorName);
- }
- else
- {
- tempCursor = Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR);
- }
- final Cursor dragCursor = tempCursor;
addComponentListener(new ComponentAdapter()
{
{
if (od.isPositionInBox(evt.getX(), evt.getY()))
{
- // display drag cursor at mouse position
- getParent().setCursor(dragCursor);
+ /*
+ * using HAND_CURSOR rather than DRAG_CURSOR
+ * as the latter is not supported on Mac
+ */
+ getParent().setCursor(
+ Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
}
else
{
// reset cursor
getParent().setCursor(
- Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
+ Cursor.getPredefinedCursor(Cursor.CROSSHAIR_CURSOR));
}
}
if (!od.isPositionInBox(evt.getX(), evt.getY()))
{
draggingBox = false;
+
+ // display drag cursor at mouse position
+ setCursor(Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR));
+
od.updateViewportFromMouse(evt.getX(), evt.getY(),
av.getAlignment().getHiddenSequences(),
av.getAlignment().getHiddenColumns());
+ getParent().setCursor(
+ Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
}
else
{
{
showPopupMenu(evt);
}
- // click in box should also reset the cursor
- else if (od.isPositionInBox(evt.getX(), evt.getY()))
- {
- // display drag cursor at mouse position
- getParent().setCursor(dragCursor);
- }
- else
- {
- // reset cursor
- getParent().setCursor(
- Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
- }
}
+
+ @Override
+ public void mouseReleased(MouseEvent evt)
+ {
+ draggingBox = false;
+ }
+
});
}