import jalview.viewmodel.ViewportListenerI;
import java.awt.BorderLayout;
+import java.awt.Cursor;
import java.awt.Dimension;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
if (od.isPositionInBox(evt.getX(), evt.getY()))
{
// display drag cursor at mouse position
-
+ setCursor(Cursor.getPredefinedCursor(Cursor.MOVE_CURSOR));
}
else
{
// reset cursor
-
+ setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
}
}
});