/* * The JTS Topology Suite is a collection of Java classes that * implement the fundamental operations required to validate a given * geo-spatial data set to a known topological specification. * * Copyright (C) 2001 Vivid Solutions * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * * For more information, contact: * * Vivid Solutions * Suite #1A * 2328 Government Street * Victoria BC V8T 5G5 * Canada * * (250)385-6040 * www.vividsolutions.com */ package jeql.workbench.ui.geomview.tool; import java.awt.Cursor; import java.awt.Toolkit; import java.awt.event.MouseEvent; import java.awt.geom.Point2D; import jeql.workbench.images.IconLoader; /** * @version 1.7 */ public class PanTool extends BasicTool { private static PanTool singleton = null; public static PanTool getInstance() { if (singleton == null) singleton = new PanTool(); return singleton; } private Point2D source; private Cursor cursorHand = Toolkit.getDefaultToolkit().createCustomCursor( IconLoader.createIcon("Hand.png").getImage(), new java.awt.Point(7, 7), "Pan"); private PanTool() { } public Cursor getCursor() { return cursorHand; } public void activate() { source = null; } public void mousePressed(MouseEvent e) { source = toModel(e.getPoint()); } public void mouseReleased(MouseEvent e) { if (source == null) return; Point2D destination = toModel(e.getPoint()); double xDisplacement = destination.getX() - source.getX(); double yDisplacement = destination.getY() - source.getY(); panel().zoomPan(xDisplacement, yDisplacement); /* getViewport().setViewOrigin(getViewport().getViewOriginX() - xDisplacement, getViewport().getViewOriginY() - yDisplacement); */ } }