@Override
      public void exitDumbMode() {
        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();
          }
        });
      }
@Override
      public void exitDumbMode()