@Override public void shutdown() { config.save(); }
void saveConfig() { config.save(); }
@Override public void saveBindsConfig() { //TODO replace with flexible config when binds are no longer saved in the Config. context.get(Config.class).save(); }
private void saveConfiguration() { // moduleConfig passes the module collection to other screens ModuleConfig moduleConfig = config.getDefaultModSelection(); moduleConfig.clear(); // Fetch all the selected/activated modules using allSortedModules // instead of fetching only selected/activated modules from filtered collection // of modules using sortedModules allSortedModules.stream().filter(info -> info.isSelected() && info.isExplicitSelection()) .forEach(info -> moduleConfig.addModule(info.getMetadata().getId())); SimpleUri defaultGenerator = config.getWorldGeneration().getDefaultGenerator(); ModuleSelectionInfo info = modulesLookup.get(defaultGenerator.getModuleName()); if (info != null && !info.isSelected()) { config.getWorldGeneration().setDefaultGenerator(new SimpleUri()); } worldGenManager.refresh(); config.save(); }
private void checkServerIdentity() { if (!validateServerIdentity()) { CertificateGenerator generator = new CertificateGenerator(); CertificatePair serverIdentity = generator.generateSelfSigned(); config.getSecurity().setServerCredentials(serverIdentity.getPublicCert(), serverIdentity.getPrivateCert()); config.save(); } }
private void setDefaultGeneratorOfGameplayModule(Module module) { // Set the default generator of the selected gameplay module SimpleUri defaultWorldGenerator = StandardModuleExtension.getDefaultWorldGenerator(module); if (defaultWorldGenerator != null) { for (WorldGeneratorInfo worldGenInfo : worldGeneratorManager.getWorldGenerators()) { if (worldGenInfo.getUri().equals(defaultWorldGenerator)) { config.getWorldGeneration().setDefaultGenerator(worldGenInfo.getUri()); } } } config.save(); }
private void setSelectedGameplayModule(Module module) { ModuleConfig moduleConfig = config.getDefaultModSelection(); if (moduleConfig.getDefaultGameplayModuleName().equals(module.getId().toString())) { // same as before -> we're done return; } moduleConfig.setDefaultGameplayModuleName(module.getId().toString()); moduleConfig.clear(); moduleConfig.addModule(module.getId()); // Set the default generator of the selected gameplay module setDefaultGeneratorOfGameplayModule(module); config.save(); }
config.save();
@Override public void initialise() { setAnimationSystem(MenuAnimationSystems.createDefaultSwipeAnimation()); WidgetUtil.trySubscribe(this, "player", button -> triggerForwardAnimation(PlayerSettingsScreen.ASSET_URI)); WidgetUtil.trySubscribe(this, "video", button -> triggerForwardAnimation(VideoSettingsScreen.ASSET_URI)); WidgetUtil.trySubscribe(this, "audio", button -> triggerForwardAnimation(AudioSettingsScreen.ASSET_URI)); WidgetUtil.trySubscribe(this, "input", button -> triggerForwardAnimation(InputSettingsScreen.ASSET_URI)); WidgetUtil.trySubscribe(this, "close", button -> { config.save(); triggerBackAnimation(); }); }
config.save(); triggerBackAnimation(); });
config.save(); ServerInfo item = infoBinding.get(); if (item != null) {