| Author | DaveJarvis <email> |
|---|---|
| Date | 2020-12-24 23:03:26 GMT-0800 |
| Commit | dd0c36508397be813fb93cb487d700f5e7e88e0f |
| Parent | 544fd81 |
| Delta | 3 lines added, 4 lines removed, 1-line decrease |
| import com.keenwrite.editors.TextDefinition; | ||
| import com.keenwrite.editors.TextEditor; | ||
| -import com.keenwrite.io.File; | ||
| import com.keenwrite.preferences.UserPreferencesView; | ||
| import com.keenwrite.preferences.Workspace; | ||
| final var filename = format.toExportFilename( editor.getPath() ); | ||
| final var chooser = createFileChooser(); | ||
| - final var file = chooser.exportAs( new File( filename ) ); | ||
| + final var file = chooser.exportAs( filename ); | ||
| file.ifPresent( ( f ) -> { | ||
| consumeSetKeys( ( key ) -> { | ||
| - final var configList = | ||
| + final var configSet = | ||
| new HashSet<>( config.getList( key.toString() ) ); | ||
| final var propertySet = setsProperty( key ); | ||
| - propertySet.setValue( observableSet( configList ) ); | ||
| + propertySet.setValue( observableSet( configSet ) ); | ||
| } ); | ||
| } catch( final Exception ex ) { |