MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

EditorFragmentRenderer - get rid of Alarm

Browse Source 
GitOrigin-RevId: ae120412bcaf9f9fe8c85aa03e55d277ef5bdd67
This commit is contained in:
Vladimir Krivosheev
2024-07-29 16:27:30 +02:00
committed by intellij-monorepo-bot
parent 70135379e3
commit 225123776a
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorFragmentRenderer.java
View File

@@ -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);