From a0fa18fe2cef1a4ec5e298695be6c8c75be5228e Mon Sep 17 00:00:00 2001
From: Daniil Ovchinnikov <daniil.ovchinnikov@jetbrains.com>
Date: Tue, 13 Jul 2021 18:26:34 +0200
Subject: [PATCH] `DocumentationManager`: make `text` final in `doFetchDocInfo`

GitOrigin-RevId: ba754c2dbc3c4d927df2bacd353675aaf199a527
---
 .../codeInsight/documentation/DocumentationManager.java  | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationManager.java b/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationManager.java
index e7eee076d594..89f606fe3874 100644
--- a/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationManager.java
+++ b/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationManager.java
@@ -1094,7 +1094,7 @@ public class DocumentationManager extends DockablePopupManager<DocumentationComp
       }
       component.startWait();
 
-      String text = null;
+      final String text;
       try {
         text = collector.getDocumentation();
       }
@@ -1114,7 +1114,6 @@ public class DocumentationManager extends DockablePopupManager<DocumentationComp
 
       LOG.debug("Documentation fetched successfully:\n", text);
 
-      String finalText = text;
       PsiDocumentManager.getInstance(myProject).performLaterWhenAllCommitted(modality, () -> {
         if (!element.isValid()) {
           LOG.debug("Element for which documentation was requested is not valid");
@@ -1122,14 +1121,14 @@ public class DocumentationManager extends DockablePopupManager<DocumentationComp
           return;
         }
         String currentText = component.getText();
-        if (finalText == null) {
+        if (text == null) {
           component.setText(CodeInsightBundle.message("no.documentation.found"), element, collector.provider);
         }
-        else if (finalText.isEmpty()) {
+        else if (text.isEmpty()) {
           component.setText(currentText, element, collector.provider);
         }
         else {
-          component.setData(element, finalText, collector.effectiveUrl, collector.ref, collector.provider);
+          component.setData(element, text, collector.effectiveUrl, collector.ref, collector.provider);
         }
         if (wasEmpty) {
           component.clearHistory();