else
expand(v);
}
public void animate(AbstractVertex v)
{
<BUG>double currentWidth = v.getGraphics().getScaleX() * v.getGraphics().getWidth();
double oldWidth = v.getGraphics().getWidth();

double currentHeight = v.getGraphics().getScaleY() * v.getGraphics().getHeight();
double oldHeight = v.getGraphics().getHeight();

double xShift = (oldWidth - currentWidth) / 2;
double yShift = (oldHeight - currentHeight) / 2;</BUG>
TranslateTransition tt = new TranslateTransition(Duration.millis(300), v.getGraphics());

else
expand(v);
}
public void animate(AbstractVertex v)
{
double xShift = v.getGraphics().getXShift();
double yShift = v.getGraphics().getYShift();
TranslateTransition tt = new TranslateTransition(Duration.millis(300), v.getGraphics());
