From d5d2424915899313eca680aecc5e5c58bbb9b542 Mon Sep 17 00:00:00 2001
From: Brendan Robert <brendan.robert@gmail.com>
Date: Wed, 13 Jan 2016 22:44:59 -0600
Subject: [PATCH] Adding a little delay to prevent the issue #8 reported by
 lifepillar.

---
 src/main/java/jace/ide/Program.java | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/src/main/java/jace/ide/Program.java b/src/main/java/jace/ide/Program.java
index 908f02b..0b1e6af 100644
--- a/src/main/java/jace/ide/Program.java
+++ b/src/main/java/jace/ide/Program.java
@@ -14,6 +14,7 @@ import java.util.Map;
 import java.util.Optional;
 import java.util.logging.Level;
 import java.util.logging.Logger;
+import javafx.application.Platform;
 import javafx.concurrent.Worker;
 import javafx.scene.control.TextInputDialog;
 import javafx.scene.web.PromptData;
@@ -116,7 +117,7 @@ public class Program {
                     if (newState == Worker.State.SUCCEEDED) {
                         JSObject document = (JSObject) editor.getEngine().executeScript("window");
                         document.setMember("java", this);
-                        createEditor();
+                        Platform.runLater(this::createEditor);
                     }
                 });
 
@@ -136,7 +137,8 @@ public class Program {
         String optionString = buildOptions();
         editor.getEngine().executeScript("var codeMirror = CodeMirror(document.body, " + optionString + ");");
         codeMirror = (JSObject) editor.getEngine().executeScript("codeMirror");
-        setValue(document);
+        Platform.runLater(() -> setValue(document));
+//        setValue(document);
     }
 
     public String getFileContents(File sourceFile) {
@@ -165,7 +167,6 @@ public class Program {
         return "";
     }
 
-
     public void save(File newTarget) {
         FileWriter writer = null;
         if (newTarget == null && targetFile == null) {
@@ -232,18 +233,18 @@ public class Program {
 
     private void manageCompileResult(CompileResult lastResult) {
         editor.getEngine().executeScript("clearHighlights()");
-        lastResult.getWarnings().forEach((line,message) -> 
-            editor.getEngine().executeScript("highlightLine("+line+",false,\""+escapeString(message)+"\");")
+        lastResult.getWarnings().forEach((line, message)
+                -> editor.getEngine().executeScript("highlightLine(" + line + ",false,\"" + escapeString(message) + "\");")
         );
-        lastResult.getErrors().forEach((line,message) -> 
-            editor.getEngine().executeScript("highlightLine("+line+",true,\""+escapeString(message)+"\");")
+        lastResult.getErrors().forEach((line, message)
+                -> editor.getEngine().executeScript("highlightLine(" + line + ",true,\"" + escapeString(message) + "\");")
         );
-    }    
+    }
 
     private String escapeString(Object message) {
         return String.valueOf(message).replaceAll("\\\"", "&quot;");
     }
-    
+
     public void log(String message) {
         System.out.println(message);
     }