public void setHistoryEnabled(boolean b) { historyButton.setEnabled(b); historyButton.setVisible(b); enableControlPanel(); }