void (@NotNull Editor editor, @NotNull Project project, @Nullable PsiFile file) { MarkupModel markup = editor.getMarkupModel(); if (markup instanceof EditorMarkupModelImpl editorMarkup) { editorMarkup.repaintTrafficLightIcon(); ErrorStripeUpdateManager.getInstance(project).repaintErrorStripePanel(editor, file); } }