void () { ApplicationManager.getApplication().invokeLater(() -> { Editor editor = getEditor(); if (editor == null || project.isDisposed() || DumbService.getInstance(project).isDumb()) return; Document document = editor.getDocument(); if (myLastStamp != document.getModificationStamp()) { rehighlightHyperlinksAndFoldings(); } }); }