Fix selected profile automatically changes to Home

This commit is contained in:
huanghongxun
2018-09-17 16:28:01 +08:00
parent bc3ae5cc7d
commit efb14572d6

View File

@@ -127,18 +127,22 @@ public final class Profiles {
HashSet<String> names = new HashSet<>(); HashSet<String> names = new HashSet<>();
config().getConfigurations().forEach((name, profile) -> { config().getConfigurations().forEach((name, profile) -> {
if (!names.add(name)) return; if (!names.add(name)) return;
profile.setName(name);
profiles.add(profile); profiles.add(profile);
profile.setName(name);
}); });
checkProfiles(); checkProfiles();
initialized = true; // Platform.runLater is necessary or profiles will be empty
// since checkProfiles adds 2 base profile later.
Platform.runLater(() -> {
selectedProfile.set(
profiles.stream()
.filter(it -> it.getName().equals(config().getSelectedProfile()))
.findFirst()
.orElse(profiles.get(0)));
selectedProfile.set( initialized = true;
profiles.stream() });
.filter(it -> it.getName().equals(config().getSelectedProfile()))
.findFirst()
.orElse(profiles.get(0)));
} }
public static ObservableList<Profile> getProfiles() { public static ObservableList<Profile> getProfiles() {