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