external-repos/forge
1
0
Fork 0
mirror of https://github.com/Card-Forge/forge.git synced 2025-11-17 19:28:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

- Additional changes related to the previous commit.

Browse Source
This commit is contained in:
Agetian
2016-02-07 11:47:34 +00:00
parent 580b314f6d
commit 243621f19e
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
forge-gui/src/main/java/forge/player/GamePlayerUtil.java
View File

@@ -63,6 +63,12 @@ public final class GamePlayerUtil {
String profile = ""; String profile = "";
if (profileOverride.isEmpty()) { if (profileOverride.isEmpty()) {
String lastProfileChosen = FModel.getPreferences().getPref(FPref.UI_CURRENT_AI_PROFILE); String lastProfileChosen = FModel.getPreferences().getPref(FPref.UI_CURRENT_AI_PROFILE);
if (!AiProfileUtil.getProfilesDisplayList().contains(lastProfileChosen)) {
System.out.println("[AI Preferences] Unknown profile " + lastProfileChosen + " was requested, resetting to default.");
lastProfileChosen = "Default";
FModel.getPreferences().setPref(FPref.UI_CURRENT_AI_PROFILE, "Default");
FModel.getPreferences().save();
}
player.setRotateProfileEachGame(lastProfileChosen.equals(AiProfileUtil.AI_PROFILE_RANDOM_DUEL)); player.setRotateProfileEachGame(lastProfileChosen.equals(AiProfileUtil.AI_PROFILE_RANDOM_DUEL));
if (lastProfileChosen.equals(AiProfileUtil.AI_PROFILE_RANDOM_MATCH)) { if (lastProfileChosen.equals(AiProfileUtil.AI_PROFILE_RANDOM_MATCH)) {
lastProfileChosen = AiProfileUtil.getRandomProfile(); lastProfileChosen = AiProfileUtil.getRandomProfile();