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