()
| 336 | } |
| 337 | |
| 338 | private void loadMatches() { |
| 339 | SelectedFile res = Gui.requestFile("Select matches file", gui.getScene().getWindow(), getMatchesLoadExtensionFilters(), true); |
| 340 | if (res == null) return; |
| 341 | |
| 342 | MatchesIo.read(res.path, null, false, gui.getMatcher(), progress -> { }); |
| 343 | gui.onMatchChange(EnumSet.allOf(MatchType.class)); |
| 344 | } |
| 345 | |
| 346 | private static List<ExtensionFilter> getMatchesLoadExtensionFilters() { |
| 347 | return Arrays.asList(new FileChooser.ExtensionFilter("Matches", "*.match")); |
no test coverage detected