void (@NotNull HighlightingSession highlightingSession, @Nullable Editor editor, double progress) { ApplicationManager.getApplication().assertIsNonDispatchThread(); PsiFile file = highlightingSession.getPsiFile(); repaintTrafficIcon(file, editor, progress); }