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