| Author | DaveJarvis <email> |
|---|---|
| Date | 2021-12-18 15:51:28 GMT-0800 |
| Commit | dea88dcbafe09322ca535a09d703859aba12a42a |
| Parent | bbc2a23 |
| Delta | 2 lines added, 2 lines removed |
| private void file_export_pdf( final boolean dir ) { | ||
| final var workspace = getWorkspace(); | ||
| - final var themes = workspace.asFile( KEY_TYPESET_CONTEXT_THEMES_PATH ); | ||
| + final var themes = workspace.getFile( KEY_TYPESET_CONTEXT_THEMES_PATH ); | ||
| final var theme = workspace.stringProperty( | ||
| KEY_TYPESET_CONTEXT_THEME_SELECTION ); |
| private String getImagePath() { | ||
| - return getWorkspace().asFile( KEY_IMAGES_DIR ).toString(); | ||
| + return getWorkspace().getFile( KEY_IMAGES_DIR ).toString(); | ||
| } | ||