14 |
|
|
15 |
import java.awt.event.*; |
import java.awt.event.*; |
16 |
|
|
17 |
// begin liita kuva |
// needed by swing and JFileChooser |
18 |
import java.io.*; |
import java.io.*; |
19 |
import javax.swing.JFileChooser; |
import javax.swing.JFileChooser; |
|
// end liita kuva |
|
20 |
|
|
21 |
|
|
22 |
/** Event handling, event objects.. |
/** Event handling, event objects.. |
216 |
public class DragMainVP implements EventHandling.EventMouseObj { |
public class DragMainVP implements EventHandling.EventMouseObj { |
217 |
public void event(MouseEvent ev, EventHandling.MousePressState p_state, Object[] obs) { |
public void event(MouseEvent ev, EventHandling.MousePressState p_state, Object[] obs) { |
218 |
|
|
219 |
|
// zoom |
220 |
if (p_state.getButtons() == ev.BUTTON3_MASK) { |
if (p_state.getButtons() == ev.BUTTON3_MASK) { |
221 |
ppv.zoom = m_ev.last_zoom * (float) |
ppv.zoom = m_ev.last_zoom * (float) |
222 |
Math.exp((p_state.getY() - ev.getY())/150.0); |
Math.exp((p_state.getY() - ev.getY())/150.0); |
223 |
pa(""+ppv.zoom); |
pa(""+ppv.zoom); |
224 |
} else if (p_state.getButtons() == ev.BUTTON1_MASK) { |
} |
225 |
|
// moving in mainVP |
226 |
|
else if (p_state.getButtons() == ev.BUTTON1_MASK) { |
227 |
ppv.panx = m_ev.last_panx - (ev.getX() - p_state.getX()); |
ppv.panx = m_ev.last_panx - (ev.getX() - p_state.getX()); |
228 |
ppv.pany = m_ev.last_pany - (ev.getY() - p_state.getY()); |
ppv.pany = m_ev.last_pany - (ev.getY() - p_state.getY()); |
229 |
} else return; |
} else return; |
230 |
|
|
|
|
|
|
/* |
|
|
if self.but == ev.BUTTON3_MASK: |
|
|
self.ppv.zoom = self.pzoom * math.exp( |
|
|
(self.press[1] - ev.getY())/150.0) |
|
|
print self.ppv.zoom |
|
|
elif self.but == ev.BUTTON1_MASK: |
|
|
self.ppv.panx = self.poffset[0] - (ev.getX() - self.press[0]) |
|
|
self.ppv.pany = self.poffset[1] - (ev.getY() - self.press[1]) |
|
|
else: |
|
|
return |
|
|
self.ppv.setZoomPan(self.vs) |
|
|
replaceNewScene(self.vs) |
|
|
AbstractUpdateManager.setNoAnimation() |
|
|
AbstractUpdateManager.chg() |
|
|
*/ |
|
231 |
ppv.setZoomPan(vs); |
ppv.setZoomPan(vs); |
232 |
|
|
233 |
AbstractUpdateManager.setNoAnimation(); |
AbstractUpdateManager.setNoAnimation(); |