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