void (@NotNull Settings settings) { super.resetEditorFrom(settings); List<FragmentedSettings.Option> options = settings.getSelectedOptions(); for (SettingsEditorFragment<Settings, ?> fragment : getAllFragments().toList()) { FragmentedSettings.Option option = ContainerUtil.find(options, o -> fragment.getId().equals(o.getName())); fragment.setSelected(option == null ? fragment.isInitiallyVisible(settings) : option.getVisible()); } }