(String title, List<ExtensionFilter> extensionFilters)
| 590 | } |
| 591 | |
| 592 | private static FileChooser setupFileChooser(String title, List<ExtensionFilter> extensionFilters) { |
| 593 | FileChooser fileChooser = new FileChooser(); |
| 594 | |
| 595 | fileChooser.setTitle(title); |
| 596 | fileChooser.getExtensionFilters().addAll(extensionFilters); |
| 597 | |
| 598 | while (lastChooserFile != null && !lastChooserFile.isDirectory()) { |
| 599 | lastChooserFile = lastChooserFile.getParentFile(); |
| 600 | } |
| 601 | |
| 602 | if (lastChooserFile != null) { |
| 603 | fileChooser.setInitialDirectory(lastChooserFile); |
| 604 | } |
| 605 | |
| 606 | return fileChooser; |
| 607 | } |
| 608 | |
| 609 | public static class SelectedFile { |
| 610 | SelectedFile(Path path, ExtensionFilter filter) { |
no outgoing calls
no test coverage detected