@Override
    public void setSelected(boolean selected) {
      if (project.isDisposed()) return;
      boolean updated = selected != isSelected();
      currentState.setFoldersAlwaysOnTop(selected);
      getDefaultState().setFoldersAlwaysOnTop(selected);
      getGlobalOptions().setFoldersAlwaysOnTop(selected);
      if (updated) updatePanes(true);
    }
@Override
    public void setSelected(boolean selected)