ensure scrolling finished before popup is shown

2026-09-27 10:03:11 +07:00 · 2014-05-21 12:02:18 +04:00
parent 16767798f2
commit 607732e0f3
1 changed files with 9 additions and 4 deletions
@@ -109,10 +109,15 @@ public class ExternalAnnotationsLineMarkerProvider implements LineMarkerProvider
            }
          }
          if (group.getChildrenCount() > 0) {
-            JBPopupFactory.getInstance()
-              .createActionGroupPopup(null, group, SimpleDataContext.getProjectContext(null),
-                                      JBPopupFactory.ActionSelectionAid.SPEEDSEARCH, true)
-              .showInBestPositionFor(editor);
+            editor.getScrollingModel().runActionOnScrollingFinished(new Runnable() {
+              @Override
+              public void run() {
+                JBPopupFactory.getInstance()
+                  .createActionGroupPopup(null, group, SimpleDataContext.getProjectContext(null),
+                                          JBPopupFactory.ActionSelectionAid.SPEEDSEARCH, true)
+                  .showInBestPositionFor(editor);
+              }
+            });
          }
        }
      }