}
}
public void toggleAnimatedDisplay() {
KetPanel ketPanel = getKetPanel();
ketPanel.toggleAnimatedDisplay();
ketPanel.fromMiddle(getCursor().getEquation().getEquationIndex());
MenuEventHandler menuEventHandler = getDocument().getFrameManager().getMenuEventHandler();
if (menuEventHandler!=null) {
menuEventHandler.updateMultipleEquations();
}