147 |
* This changes the parameters of the coordinate systems |
* This changes the parameters of the coordinate systems |
148 |
* created by render(). |
* created by render(). |
149 |
*/ |
*/ |
150 |
protected abstract void setZoomPan(VobScene vs, int mainFrame); |
public abstract void setZoomPan(VobScene vs); |
151 |
|
|
152 |
protected float[] v2dwh = new float[2]; |
protected float[] v2dwh = new float[2]; |
153 |
|
|
225 |
//AbstractUpdateManager.chg(); |
//AbstractUpdateManager.chg(); |
226 |
} |
} |
227 |
|
|
228 |
|
|
229 |
public void changeSize(float change) { ; } |
public void changeSize(float change) { ; } |
230 |
public void changeZoom(float change) { |
public void changeZoom(float change) { |
231 |
float zoom = focus.getZoom() * (float) Math.exp(change/150.0); |
float zoom = focus.getZoom() * (float) Math.exp(change/150.0); |
241 |
|
|
242 |
public void chgFast(VobScene oldVobScene, int parent) { |
public void chgFast(VobScene oldVobScene, int parent) { |
243 |
clipPan(); |
clipPan(); |
244 |
setZoomPan(oldVobScene, box2screen); |
setZoomPan(oldVobScene); |
245 |
|
|
246 |
View2D view = getView2D(); |
View2D view = getView2D(); |
247 |
while (view != null) { |
while (view != null) { |