use postMessage to tell creator of <iframe> to "Jump to Problem"

evancz · evancz · commit 71a5a82cbf12 · 2019-10-11T13:01:37.000-04:00
diff --git a/worker/src/Endpoint/Compile.hs b/worker/src/Endpoint/Compile.hs
@@ -176,7 +176,12 @@ renderReport report =
   <script src="https://worker.elm-lang.org/compile/errors.js"></script>
 </head>
 <body>
-  <script>Elm.Errors.init({flags:|] <> Encode.encodeUgly (Exit.toJson report) <> [r|});</script>
+  <script>
+    var app = Elm.Errors.init({flags:|] <> Encode.encodeUgly (Exit.toJson report) <> [r|});
+    app.ports.jumpTo.subscribe(function(region) {
+      window.parent.postMessage(JSON.stringify(region), '*');
+    });
+  </script>
 </body>
 </html>|]
 
