ensure output is flushed in EDT

2026-09-27 10:03:11 +07:00 · 2015-04-21 13:50:40 +02:00
parent e7bd68e07c
commit 4ba05e2c09
1 changed files with 9 additions and 4 deletions
@@ -841,11 +841,16 @@ public final class AntBuildMessageView extends JPanel implements DataProvider, O
      }
    });
    //noinspection SSBasedInspection
-    DumbService.getInstance(myProject).runWhenSmart(new Runnable() {
+    SwingUtilities.invokeLater(new Runnable() {
      public void run() {
-        if (!myIsOutputPaused) {
-          new OutputFlusher().doFlush();
-        }
+        DumbService.getInstance(myProject).runWhenSmart(new Runnable() {
+          @Override
+          public void run() {
+            if (!myIsOutputPaused) {
+              new OutputFlusher().doFlush();
+            }
+          }
+        });
      }
    });
  }