Allow internationalization of about.txt

This works with custom locales (by placing the text in
[config_dir]/about/[name].txt), but if such a file does not exist, it
will default to the default locale (en)'s about text.

2 files changed, 39 insertions, 17 deletions

diff --git a/src/main/java/sevenUnitsGUI/Presenter.java b/src/main/java/sevenUnitsGUI/Presenter.java
index ba600e3..3a039a7 100644
--- a/src/main/java/sevenUnitsGUI/Presenter.java
+++ b/src/main/java/sevenUnitsGUI/Presenter.java
@@ -780,7 +780,27 @@ public final class Presenter {
 	 * @since 2022-02-19
 	 */
 	public String getAboutText() {
-		return Presenter.getLinesFromResource("/about.txt").stream()
+		final Path customFilepath = Presenter.pathFromConfig(
+				"about/" + this.userLocale + ".txt");
+		if (Files.exists(customFilepath)) {
+			try {
+				return formatAboutText(Files.lines(customFilepath));
+			} catch (IOException e) {
+				final String filename = String.format("/about/%s.txt", this.userLocale);
+				return formatAboutText(Presenter.getLinesFromResource(filename).stream());
+			}
+		} else if (LOCAL_LOCALES.contains(this.userLocale)) {
+			final String filename = String.format("/about/%s.txt", this.userLocale);
+			return formatAboutText(Presenter.getLinesFromResource(filename).stream());
+		} else {
+			final String filename = String.format("/about/%s.txt", DEFAULT_LOCALE);
+			return formatAboutText(Presenter.getLinesFromResource(filename).stream());
+		}
+		
+	}
+	
+	private String formatAboutText(Stream<String> rawLines) {
+		return rawLines
 				.map(Presenter::withoutComments).collect(Collectors.joining("\n"))
 				.replaceAll("\\[VERSION\\]", ProgramInfo.VERSION.toString())
 				.replaceAll("\\[LOADSTATS\\]", wrapString(this.loadStatMsg(), 72));
@@ -1057,16 +1077,17 @@ public final class Presenter {
 	 * @since 2024-08-22
 	 */
 	private String loadStatMsg() {
-		return String.format(
-				"Successfully loaded %d unique units with %d names (%d base units), %d unique prefixes with %d names, %d unit sets, and %d named dimensions.",
-				this.database.unitMapPrefixless(false).size(),
-				this.database.unitMapPrefixless(true).size(),
-				this.database.unitMapPrefixless(false).values().stream()
-						.filter(IS_FULL_BASE).count(),
-				this.database.prefixMap(false).size(),
-				this.database.prefixMap(true).size(),
-				this.database.unitSetMap().size(),
-				this.database.dimensionMap().size());
+		return this.getLocalizedText("load_stat_msg")
+				.replace("[u]", Integer.toString(
+						this.database.unitMapPrefixless(false).size()))
+				.replace("[un]", Integer.toString(
+						this.database.unitMapPrefixless(true).size()))
+				.replace("[b]", Long.toString(this.database.unitMapPrefixless(false)
+						.values().stream().filter(IS_FULL_BASE).count()))
+				.replace("[p]", Integer.toString(this.database.prefixMap(false).size()))
+				.replace("[pn]", Integer.toString(this.database.prefixMap(true).size()))
+				.replace("[s]", Integer.toString(this.database.unitSetMap().size()))
+				.replace("[d]", Integer.toString(this.database.dimensionMap().size()));
 	}
 
 	/**
diff --git a/src/main/java/sevenUnitsGUI/TabbedView.java b/src/main/java/sevenUnitsGUI/TabbedView.java
index 40ed0a7..9850aac 100644
--- a/src/main/java/sevenUnitsGUI/TabbedView.java
+++ b/src/main/java/sevenUnitsGUI/TabbedView.java
@@ -198,7 +198,8 @@ final class TabbedView implements ExpressionConversionView, UnitConversionView {
 	/** The text box for prefix data in the prefix viewer */
 	private final JTextArea prefixTextBox;
 	
-	// SETTINGS STUFF
+	// INFO & SETTINGS STUFF
+	final JTextArea infoTextArea;
 	private final JComboBox<String> localeSelector;
 	private StandardRoundingType roundingType;
 	private int precision;
@@ -377,11 +378,10 @@ final class TabbedView implements ExpressionConversionView, UnitConversionView {
 		this.masterPane.addTab("\uD83D\uDEC8", // info (i) character
 				new JScrollPane(infoPanel));
 		
-		final JTextArea infoTextArea = new JTextArea();
-		infoTextArea.setEditable(false);
-		infoTextArea.setOpaque(false);
-		infoPanel.add(infoTextArea);
-		infoTextArea.setText(this.presenter.getAboutText());
+		this.infoTextArea = new JTextArea();
+		this.infoTextArea.setEditable(false);
+		this.infoTextArea.setOpaque(false);
+		infoPanel.add(this.infoTextArea);
 		
 		// ============ SETTINGS PANEL ============
 		this.localeSelector = new JComboBox<>();
@@ -907,6 +907,7 @@ final class TabbedView implements ExpressionConversionView, UnitConversionView {
 	public void updateText() {
 		this.frame.setTitle(this.presenter.getLocalizedText("tv.title")
 				.replace("[v]", ProgramInfo.VERSION.toString()));
+		this.infoTextArea.setText(this.presenter.getAboutText());
 		this.localizedTextSetters.forEach((id, action) ->
 			action.accept(this.presenter.getLocalizedText(id)));
 	}