267 |
return controller.handleEvent(this, e, oldVobScene); |
return controller.handleEvent(this, e, oldVobScene); |
268 |
} |
} |
269 |
|
|
270 |
public void chgFast(VobScene oldVobScene) { |
public void chgFast(VobScene oldVobScene, Object key) { |
271 |
clipPan(); |
clipPan(); |
272 |
setZoomPan(oldVobScene, box2screen); |
setZoomPan(oldVobScene, box2screen); |
273 |
|
|
274 |
|
Object realKey = oldVobScene.matcher.getKey(box2screen); |
275 |
|
if (dbg) p("key: "+realKey); |
276 |
View2D view = getView2D(); |
View2D view = getView2D(); |
277 |
while (view != null) { |
while (view != null) { |
278 |
if (view instanceof FastView) |
if (view instanceof FastView) |
281 |
* |
* |
282 |
* ...working on a better solution. |
* ...working on a better solution. |
283 |
*/ |
*/ |
284 |
; //((FastView)view).chgFast(oldVobScene); |
((FastView)view).chgFast(oldVobScene, realKey); |
285 |
view = view.getChildView2D(); |
view = view.getChildView2D(); |
286 |
} |
} |
287 |
} |
} |