EventManager.dispatch(evt);
}
}
private void startAnimation(final Dockable oldDockable, final Dockable newDockable, final String newDockableId, final int newEdge) {
Animation deactivation = oldDockable==null? null: new Animation(this, true);
Runnable updater1 = new Runnable() {
public void run() {
setActiveEdge(newEdge);
setActiveDockableId(newDockableId);
viewPane.updateOrientation();
viewPane.updateContents();
}
};
Animation activation = newDockableId==null? null: new Animation(this, false);
Runnable updater2 = new Runnable() {
public void run() {
viewPane.setPrefSize(ViewPane.UNSPECIFIED_PREFERRED_SIZE);
viewPane.updateOrientation();
viewPane.updateContents();