public void update() { History history = shell.history; back.setEnabled(history.isBackEnabled()); forward.setEnabled(history.isForwardEnabled()); up.setEnabled(history.isUpEnabled()); }