59 |
} |
} |
60 |
|
|
61 |
|
|
|
/** |
|
|
public void keystroke(String s) { |
|
|
// XXX |
|
|
} |
|
|
private int [] m_state = null; |
|
62 |
public boolean mouse(MouseEvent e, VobScene oldVobScene) { |
public boolean mouse(MouseEvent e, VobScene oldVobScene) { |
|
if (e.getID() == MouseEvent.MOUSE_PRESSED) { |
|
|
m_state = new int[]{ e.getX(), e.getY(), e.getModifiers()}; |
|
|
} |
|
|
|
|
|
// Move around by clicking |
|
|
if(m_state[2] == e.BUTTON1_MASK && |
|
|
e.getID() == MouseEvent.MOUSE_CLICKED){ |
|
|
mouseMoveClick(e.getX(), e.getY(), oldVobScene); |
|
|
return false; |
|
|
} |
|
63 |
if(fisheyeState.event(e)) { |
if(fisheyeState.event(e)) { |
64 |
setZoomPan(oldVobScene, box2screen); |
setZoomPan(oldVobScene, box2screen); |
65 |
return true; |
return true; |
66 |
} |
} |
67 |
if(dbg) pa("nothing!"); |
return super.mouse(e, oldVobScene); |
|
return false; |
|
68 |
} |
} |
|
**/ |
|
|
|
|
|
|
|
69 |
} |
} |
70 |
|
|