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