@@ -176,7 +176,12 @@ renderReport report =
176 <script src="https://worker.elm-lang.org/compile/errors.js"></script>
176 <script src="https://worker.elm-lang.org/compile/errors.js"></script>
179− <script>Elm.Errors.init({flags:|] <> Encode.encodeUgly (Exit.toJson report) <> [r|});</script>
180+ var app = Elm.Errors.init({flags:|] <> Encode.encodeUgly (Exit.toJson report) <> [r|});
181+ app.ports.jumpTo.subscribe(function(region) {
182+ window.parent.postMessage(JSON.stringify(region), '*');