← Back to branch summary

~ubuntu-branches/ubuntu/vivid/electric/vivid

« back to all changes in this revision

Viewing changes to com/sun/electric/tool/user/ui/ZoomAndPanListener.java

  • Committer: Package Import Robot
  • Author(s): Markus Koschany
  • Date: 2014-07-08 21:54:23 UTC
  • mfrom: (1.1.6) (3.1.9 sid)
  • Revision ID: package-import@ubuntu.com-20140708215423-4zrgsca1e28tzcoc
Tags: 9.05+dfsg-1
* Imported Upstream version 9.05+dfsg.
* Add signing-key.pgp and check for valid upstream tarballs with uscan's
  pgpsigurlmangle feature.
* Move the package to Git.

Show diffs side-by-side

added added

removed removed

Lines of Context:
com/sun/electric/tool/user/ui/ZoomAndPanListener.java
21
21
 */
22
22
package com.sun.electric.tool.user.ui;
23
23
 
24
 
import com.sun.electric.tool.routing.seaOfGates.SeaOfGatesEngine.SearchVertex;
 
24
import com.sun.electric.database.change.DatabaseChangeEvent;
25
25
import com.sun.electric.tool.user.Highlighter;
26
 
import com.sun.electric.tool.user.User;
27
26
 
28
 
import java.awt.Point;
29
27
import java.awt.event.KeyEvent;
30
 
import java.awt.event.KeyListener;
31
28
import java.awt.event.MouseEvent;
32
 
import java.awt.event.MouseListener;
33
 
import java.awt.event.MouseMotionListener;
34
29
import java.awt.event.MouseWheelEvent;
35
 
import java.awt.event.MouseWheelListener;
36
30
import java.awt.geom.Point2D;
37
31
import java.awt.geom.Rectangle2D;
38
32
 
39
33
/**
40
34
 * Class to Zoom and Pan an EditWindow.
41
35
 */
42
 
public class ZoomAndPanListener
43
 
        implements MouseListener, MouseMotionListener, MouseWheelListener, KeyListener
 
36
public class ZoomAndPanListener implements WindowFrame.ElectricEventListener
44
37
{
45
38
        public static ZoomAndPanListener theOne = new ZoomAndPanListener();
46
39
        private int startX, startY, lastX, lastY;
50
43
 
51
44
        public void mousePressed(MouseEvent evt)
52
45
        {
53
 
                // clicking over debugging search vertex in routing mode shows state of route
54
 
        if (!ClickZoomWireListener.isRightMouse(evt) && User.isRoutingMode())
55
 
                {
56
 
                        SearchVertex sv = RoutingDebug.findDebugSearchVertex(evt);
57
 
                        if (sv != null)
58
 
                                RoutingDebug.showSelectedSV(sv);
59
 
                }
60
 
 
61
46
                lastX = startX = evt.getX();
62
47
                lastY = startY = evt.getY();
63
48
 
87
72
 
88
73
        public void mouseMoved(MouseEvent evt)
89
74
        {
90
 
                // hovering in routing mode shows state of route
91
 
                if (User.isRoutingMode())
92
 
                {
93
 
                        SearchVertex sv = RoutingDebug.findDebugSearchVertex(evt);
94
 
                        if (sv != null) RoutingDebug.previewSelectedSV(sv, false);
95
 
                }
96
75
                setProperCursor(evt);
97
76
        }
98
77
 
196
175
                                }
197
176
                        }
198
177
             wnd.clearDoingAreaDrag();
199
 
             wnd.repaint();             
 
178
             wnd.repaint();
200
179
                }
201
180
        }
202
181
 
231
210
 
232
211
        public void keyReleased(KeyEvent evt) {}
233
212
        public void keyTyped(KeyEvent evt) {}
 
213
    public void databaseChanged(DatabaseChangeEvent e) {}
234
214
 
235
215
    // ----------------------------------- redisplay commands -----------------------------------
236
216