void (@Nullable DiffBreadcrumbsPanel breadcrumbs, @NotNull TextDiffSettings settings) { if (breadcrumbs != null) { myPanel.setBreadcrumbs(breadcrumbs); myPanel.updateBreadcrumbsPlacement(settings.getBreadcrumbsPlacement()); settings.addListener(new TextDiffSettings.Listener.Adapter() { @Override public void breadcrumbsPlacementChanged() { myPanel.updateBreadcrumbsPlacement(settings.getBreadcrumbsPlacement()); } }, breadcrumbs); } }