67 |
panx = RDFUtil.getInt(fen, node, SPATIAL.coordX) + bs[0]/2; |
panx = RDFUtil.getInt(fen, node, SPATIAL.coordX) + bs[0]/2; |
68 |
pany = RDFUtil.getInt(fen, node, SPATIAL.coordY) + bs[1]/2; |
pany = RDFUtil.getInt(fen, node, SPATIAL.coordY) + bs[1]/2; |
69 |
} else { |
} else { |
70 |
panx = 0; |
panx = 5; |
71 |
pany = 0; |
pany = 6; |
72 |
} |
} |
73 |
} |
} |
74 |
|
|
185 |
zoom = m_state_zoom * (float) |
zoom = m_state_zoom * (float) |
186 |
Math.exp((m_state[1] - e.getY())/150.0); |
Math.exp((m_state[1] - e.getY())/150.0); |
187 |
AbstractUpdateManager.setNoAnimation(); |
AbstractUpdateManager.setNoAnimation(); |
188 |
setZoomPan(oldVobScene, focusFrame); |
|
189 |
return true; |
// in current/stupid awt implementation we can't use |
190 |
|
// setOrthoParams because of complex coordinate systems. |
191 |
|
if (GraphicsAPI.getInstance() instanceof GLAPI) { |
192 |
|
setZoomPan(oldVobScene, focusFrame); |
193 |
|
return true; |
194 |
|
} else { |
195 |
|
AbstractUpdateManager.chg(); |
196 |
|
return false; |
197 |
|
} |
198 |
} |
} |
199 |
|
|
200 |
// Move by dragging with button 1 |
// Move by dragging with button 1 |
202 |
panx = pan[0] + (m_state[0] - e.getX())/zoom; |
panx = pan[0] + (m_state[0] - e.getX())/zoom; |
203 |
pany = pan[1] + (m_state[1] - e.getY())/zoom; |
pany = pan[1] + (m_state[1] - e.getY())/zoom; |
204 |
|
|
205 |
setZoomPan(oldVobScene, focusFrame); |
// in current/stupid awt implementation we can't use |
206 |
return true; |
// setOrthoParams because of complex coordinate systems. |
207 |
|
if (GraphicsAPI.getInstance() instanceof GLAPI) { |
208 |
|
setZoomPan(oldVobScene, focusFrame); |
209 |
|
return true; |
210 |
|
} else { |
211 |
|
AbstractUpdateManager.chg(); |
212 |
|
return false; |
213 |
|
} |
214 |
} |
} |
215 |
|
|
216 |
// Move around by clicking |
// Move around by clicking |