Dave Jarvis' Repositories

Author	DaveJarvis <email>
Date	2021-07-01 22:08:28 GMT-0700
Commit	a09bc5dcbad9ab440aa7eb1927eae586a8dbf524
Parent	013cdbe
Delta	4 lines added, 1 line removed, 3-line increase

src/main/java/com/keenwrite/ui/dialogs/ThemePicker.java

		import java.io.FileInputStream;
		import java.io.IOException;
		+import java.io.InputStreamReader;
		+import java.nio.charset.StandardCharsets;
		import java.nio.file.Path;
		import java.util.Properties;

		final var properties = new Properties();

		- try( final var in = new FileInputStream( file.toFile() ) ) {
		+ try( final var in = new InputStreamReader(
		+ new FileInputStream( file.toFile() ), StandardCharsets.UTF_8 ) ) {
		properties.load( in );
		}

Use UTF-8 encoding when reading theme names