| Author | DaveJarvis <email> |
|---|---|
| Date | 2023-01-27 17:39:39 GMT-0800 |
| Commit | 66e129a4803ac4c9a7cc33b8063b95e9833ab6e5 |
| Parent | 8bd9fd3 |
| Delta | 1 line added, 1 line removed |
| import java.nio.file.Path; | ||
| -import java.nio.file.Paths; | ||
| import java.util.HashSet; | ||
| import java.util.Set; | ||
| final var filename = format( "%s-%s.svg", APP_TITLE_LOWERCASE, hash ); | ||
| + // The URI helps convert backslashes to forward slashes. | ||
| final var uri = Path.of( TEMP_DIR, filename ).toUri(); | ||
| final var svg = uri.getPath(); | ||