hyperlink compiler error line numbers

static/web.css

@@ -532,6 +532,12 @@ button[disabled]:last-child::before {
  border-bottom: 1px dashed rgba(0, 0, 0, 0.25);
 }
 
+a.linejump {
+ cursor: pointer;
+ color: #97248D;
+ border-bottom: thin #97248D dotted;
+}
+
 .ace_dark .rustc-output {
  border-bottom-color: rgba(255, 255, 255, 0.25);
 }

static/web.js

@@ -530,12 +530,34 @@
  });
  }
 
+ function jumpToLine(text, r1) {
+ return "<a onclick=\"javascript:editGo(" + r1 + ",1)\"" +
+ " onmouseover=\"javascript:editShowLine("+r1+")\"" +
+ " onmouseout=\"javascript:editRestore()\"" +
+ " class=\"linejump\">" + text + "</a>";
+ }
+
+ function jumpToRegion(text, r1,c1, r2,c2) {
+ return "<a onclick=\"javascript:editGo("+r1+","+c1+")\"" +
+ " onmouseover=\"javascript:editShowRegion("+r1+","+c1+", "+r2+","+c2+")\"" +
+ " onmouseout=\"javascript:editRestore()\"" +
+ " class=\"linejump\">" + text + "</a>";
+ }
+
  function formatCompilerOutput(text) {
- return ansi2html(text).replace(/\[(E\d\d\d\d)\]/g, function(text, code) {
- return "[<a href=https://doc.rust-lang.org/error-index.html#" + code + ">" + code + "</a>]";
- }).replace(/run `rustc --explain (E\d\d\d\d)` to see a detailed explanation/g, function(text, code) {
- return "see the <a href=https://doc.rust-lang.org/error-index.html#" + code + ">detailed explanation for " + code + "</a>";
- });
+ return ansi2html(text)
+ .replace(/\[(E\d\d\d\d)\]/g,
+ function(text, code) {
+ return "[<a href=https://doc.rust-lang.org/error-index.html#" + code + ">" + code + "</a>]";
+ })
+ .replace(/run `rustc --explain (E\d\d\d\d)` to see a detailed explanation/g,
+ function(text, code) {
+ return "see the <a href=https://doc.rust-lang.org/error-index.html#" + code +
+ ">detailed explanation for " + code + "</a>";
+ })
+ .replace(/&lt;anon&gt;:(\d+)$/mg, jumpToLine) // panicked at 'foo', $&
+ .replace(/^&lt;anon&gt;:(\d+):(\d+):\s+(\d+):(\d+)/mg, jumpToRegion)
+ .replace(/^&lt;anon&gt;:(\d+)/mg, jumpToLine);
  }
 
  addEventListener("DOMContentLoaded", function() {
@@ -553,6 +575,8 @@
  themes = document.getElementById("themes");
  editor = ace.edit("editor");
  set_result.editor = editor;
+ editor.$blockScrolling = Infinity;
+ editor.setAnimatedScroll(true);
  session = editor.getSession();
  themelist = ace.require("ace/ext/themelist");
 
@@ -691,3 +715,58 @@
 
  }, false);
 }());
+
+
+// called via javascript:fn events from formatCompilerOutput
+var old_range;
+
+function editorGet() {
+ return window.ace.edit("editor");
+}
+
+function editGo(r1,c1) {
+ var e = editorGet();
+ old_range = undefined;
+ e.focus();
+ e.selection.clearSelection();
+ e.scrollToLine(r1-1, true, true);
+ e.selection.moveCursorTo(r1-1, c1-1, false);
+}
+
+function editRestore() {
+ if (old_range) {
+ var e = editorGet();
+ e.selection.setSelectionRange(old_range, false);
+ var mid = (e.getFirstVisibleRow() + e.getLastVisibleRow()) / 2;
+ var intmid = Math.round(mid);
+ var extra = (intmid - mid)*2 + 2;
+ var up = e.getFirstVisibleRow() - old_range.start.row + extra;
+ var down = old_range.end.row - e.getLastVisibleRow() + extra;
+ if (up > 0) {
+ e.scrollToLine(mid - up, true, true);
+ } else if (down > 0) {
+ e.scrollToLine(mid + down, true, true);
+ } // else visible enough
+ }
+}
+
+function editShowRegion(r1,c1, r2,c2) {
+ var e = editorGet();
+ var es = e.selection;
+ old_range = es.getRange();
+ es.clearSelection();
+ e.scrollToLine(Math.round((r1 + r2) / 2), true, true);
+ es.setSelectionAnchor(r1-1, c1-1);
+ es.selectTo(r2-1, c2-1);
+}
+
+function editShowLine(r1) {
+ var e = editorGet();
+ var es = e.selection;
+ old_range = es.getRange();
+ es.clearSelection();
+ e.scrollToLine(r1, true, true);
+ es.moveCursorTo(r1-1, 0);
+ es.moveCursorLineEnd();
+ es.selectTo(r1-1, 0);
+}