void (@NotNull Side side, @Nullable DiffBreadcrumbsPanel breadcrumbs, @NotNull TextDiffSettings settings) { if (breadcrumbs != null) { DiffContentPanel panel = side.select(myPanels); panel.setBreadcrumbs(breadcrumbs); panel.updateBreadcrumbsPlacement(settings.getBreadcrumbsPlacement()); settings.addListener(new TextDiffSettings.Listener.Adapter() { @Override public void breadcrumbsPlacementChanged() { panel.updateBreadcrumbsPlacement(settings.getBreadcrumbsPlacement()); repaintDivider(); } }, breadcrumbs); } }