62 |
return cs2; |
return cs2; |
63 |
} |
} |
64 |
public void setCoordsysParams() { |
public void setCoordsysParams() { |
65 |
pa("Fisheyestate: " + |
if(dbg) pa("Fisheyestate: " + |
66 |
cursize + " " + |
cursize + " " + |
67 |
curx + " " + |
curx + " " + |
68 |
cury + " " + |
cury + " " + |
77 |
} |
} |
78 |
|
|
79 |
public boolean event(java.awt.event.MouseEvent e) { |
public boolean event(java.awt.event.MouseEvent e) { |
80 |
pa("Ev:"+e); |
if(dbg) pa("Ev:"+e); |
81 |
if(e.getID() == e.MOUSE_PRESSED) { |
if(e.getID() == e.MOUSE_PRESSED) { |
82 |
if(e.getModifiers() != e.BUTTON3_MASK) return false; |
if(e.getModifiers() != e.BUTTON3_MASK) return false; |
83 |
curMouseX = e.getX(); |
curMouseX = e.getX(); |
91 |
curMouseX = e.getX(); |
curMouseX = e.getX(); |
92 |
curMouseY = e.getY(); |
curMouseY = e.getY(); |
93 |
|
|
94 |
curmag *= Math.exp(.01 * dy); |
curmag *= Math.exp(.005 * dy); |
95 |
cursize *= Math.exp(.01 * dx); |
cursize *= Math.exp(.005 * dx); |
96 |
|
|
97 |
if(curmag < minmag) curmag = minmag; |
if(curmag < minmag) curmag = minmag; |
98 |
if(curmag > maxmag) curmag = maxmag; |
if(curmag > maxmag) curmag = maxmag; |