(String title, Window parent)
| 617 | } |
| 618 | |
| 619 | public static Path requestDir(String title, Window parent) { |
| 620 | DirectoryChooser fileChooser = new DirectoryChooser(); |
| 621 | |
| 622 | fileChooser.setTitle(title); |
| 623 | |
| 624 | while (lastChooserFile != null && !lastChooserFile.isDirectory()) { |
| 625 | lastChooserFile = lastChooserFile.getParentFile(); |
| 626 | } |
| 627 | |
| 628 | if (lastChooserFile != null) fileChooser.setInitialDirectory(lastChooserFile); |
| 629 | |
| 630 | File file = fileChooser.showDialog(parent); |
| 631 | if (file == null) return null; |
| 632 | |
| 633 | lastChooserFile = file; |
| 634 | |
| 635 | return file.toPath(); |
| 636 | } |
| 637 | |
| 638 | public enum SortKey { |
| 639 | Name, MappedName, MatchStatus, Similarity; |
no outgoing calls
no test coverage detected