i18n upstream merge

This commit is contained in:
NotMyFault
2019-12-09 20:07:57 +01:00
parent c5a9436174
commit 80d7b0582f
24 changed files with 121 additions and 119 deletions

View File

@ -39,7 +39,6 @@ import java.io.InputStream;
import java.io.OutputStream;
import java.util.Arrays;
import java.util.HashSet;
import java.util.Locale;
import java.util.Properties;
import java.util.Set;
@ -123,12 +122,7 @@ public class PropertiesConfiguration extends LocalConfiguration {
allowSymlinks = getBool("allow-symbolic-links", allowSymlinks);
serverSideCUI = getBool("server-side-cui", serverSideCUI);
extendedYLimit = getBool("extended-y-limit", extendedYLimit);
defaultLocaleName = getString("default-locale", defaultLocaleName);
if (defaultLocaleName.equals("default")) {
defaultLocale = Locale.getDefault();
} else {
defaultLocale = Locale.forLanguageTag(defaultLocaleName.replace('_', '-'));
}
setDefaultLocaleName(getString("default-locale", defaultLocaleName));
LocalSession.MAX_HISTORY_SIZE = Math.max(15, getInt("history-size", 15));