handling the rare case that one javascript file is loaded while the o…

…ther is not loaded yet (when the next refresh is already under way)
asciidoctor · Jun 18, 2019 · b4ffa3a · b4ffa3a
1 parent fa5e0b4
commit b4ffa3a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/org/asciidoc/intellij/editor/javafx/JavaFxHtmlPanel.java b/src/main/java/org/asciidoc/intellij/editor/javafx/JavaFxHtmlPanel.java
@@ -500,8 +500,8 @@ public void changed(ObservableValue<? extends State> observable, State oldValue,
         win.setMember("JavaPanelBridge", bridge);
         JavaFxHtmlPanel.this.getWebViewGuaranteed().getEngine().executeScript(
           "if ('__IntelliJTools' in window) {" +
-            "__IntelliJTools.processLinks();" +
-            "__IntelliJTools.pickSourceLine(" + lineCount + ", " + offset + ");" +
+            "__IntelliJTools.processLinks && __IntelliJTools.processLinks();" +
+            "__IntelliJTools.pickSourceLine && __IntelliJTools.pickSourceLine(" + lineCount + ", " + offset + ");" +
             "}"
         );
       }