| Author | DaveJarvis <email> |
|---|---|
| Date | 2021-05-08 18:10:02 GMT-0700 |
| Commit | 11b23a7949f3ae13b483b001b9163e2aba08da06 |
| Parent | 7bfa9f9 |
| if( Typesetter.canRun() ) { | ||
| + // If the typesetter is installed, allow the user to select a theme. If | ||
| + // the themes aren't installed, a status message will appear. | ||
| if( ThemePicker.choose( themes, theme ) ) { | ||
| file‿export( APPLICATION_PDF ); |
| Delta | 2 lines added, 0 lines removed, 2-line increase |
|---|