| Author | DaveJarvis <email> |
|---|---|
| Date | 2021-05-08 22:17:02 GMT-0700 |
| Commit | a94548fb674647d4a052f5467ea1331c0cfea1f0 |
| Parent | e2da010 |
| walk( mThemes.toPath(), "**/theme.properties", ( path ) -> { | ||
| try { | ||
| - final var themeName = path.getParent().toFile().getName(); | ||
| final var themeDisplay = readThemeName( path ); | ||
| + final var themeName = path.getParent().toFile().getName(); | ||
| choices.put( themeDisplay, themeName ); | ||
| + | ||
| + // Used to set the selected item to value from user's settings. | ||
| if( themeName.equals( mTheme.get() ) ) { | ||
| selection[ 0 ] = themeDisplay; |
| Delta | 3 lines added, 1 line removed, 2-line increase |
|---|