From 225123776a62207515b30d6ac41f4e6949b8949b Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Mon, 29 Jul 2024 16:27:30 +0200
Subject: [PATCH] EditorFragmentRenderer - get rid of Alarm

GitOrigin-RevId: ae120412bcaf9f9fe8c85aa03e55d277ef5bdd67
---
 .../editor/impl/EditorFragmentRenderer.java        | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorFragmentRenderer.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorFragmentRenderer.java
index 04994a3d886f..1cd61b0a860c 100644
--- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorFragmentRenderer.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorFragmentRenderer.java
@@ -15,7 +15,7 @@ import com.intellij.openapi.ui.MessageType;
 import com.intellij.openapi.util.text.StringUtil;
 import com.intellij.ui.*;
 import com.intellij.ui.scale.JBUIScale;
-import com.intellij.util.Alarm;
+import com.intellij.util.concurrency.EdtScheduler;
 import com.intellij.util.ui.GraphicsUtil;
 import com.intellij.util.ui.ImageUtil;
 import com.intellij.util.ui.StartupUiUtil;
@@ -119,12 +119,12 @@ final class EditorFragmentRenderer {
     myHintHolder.set(hintInfo);
     if (needDelay && !showInstantly) {
       myDelayed = true;
-      Alarm alarm = new Alarm();
-      alarm.addRequest(() -> {
-        if (myEditorPreviewHint == null || !myDelayed) return;
-        showEditorHint(hintManager, myPointHolder.get(), myHintHolder.get());
-        myDelayed = false;
-      }, /*Registry.intValue("ide.tooltip.initialDelay")*/300);
+      EdtScheduler.getInstance().schedule(300, () -> {
+        if (myEditorPreviewHint != null && myDelayed) {
+          showEditorHint(hintManager, myPointHolder.get(), myHintHolder.get());
+          myDelayed = false;
+        }
+      });
     }
     else if (!myDelayed) {
       showEditorHint(hintManager, point, hintInfo);