diff options
| author | Adrien Hopkins <adrien.p.hopkins@gmail.com> | 2025-02-23 20:48:08 -0500 |
|---|---|---|
| committer | Adrien Hopkins <adrien.p.hopkins@gmail.com> | 2025-02-23 20:48:08 -0500 |
| commit | c2b59645f9c3b7eb2db39f8e1cea64a06e41e8fe (patch) | |
| tree | c07ad89cc73eac32de1d25779846ef9792a04ed1 | |
| parent | 9f85e0c201f64b5de646c4d66323424bcb3a279d (diff) | |
Gracefully handle unidentified locales in config
| -rw-r--r-- | src/main/java/sevenUnitsGUI/Presenter.java | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/main/java/sevenUnitsGUI/Presenter.java b/src/main/java/sevenUnitsGUI/Presenter.java index 3a039a7..0dc7ea0 100644 --- a/src/main/java/sevenUnitsGUI/Presenter.java +++ b/src/main/java/sevenUnitsGUI/Presenter.java @@ -1058,7 +1058,15 @@ public final class Presenter { this.setSearchRuleFromString(value); break; case "locale": - this.userLocale = value; + if (this.locales.containsKey(value)) { + this.userLocale = value; + } else { + System.err.printf( + "Warning: unrecognized locale \"%s\".%n", value); + this.view.showErrorMessage("Unrecognized Locale", + "Could not find locale \"" + value + + "\", resetting to default."); + } break; default: System.err.printf("Warning: unrecognized setting \"%s\".%n", |