From fc4ff258b034c5b6699c7eb188faafeb48ab6b88 Mon Sep 17 00:00:00 2001 From: Alexander Bock Date: Fri, 20 Oct 2017 11:47:48 -0400 Subject: [PATCH] Make log file links work again (thank Emil) (closes #378) --- data/web/log/script.js | 4 ++-- data/web/log/style.css | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/data/web/log/script.js b/data/web/log/script.js index ac198a1189..fefe69a3c0 100644 --- a/data/web/log/script.js +++ b/data/web/log/script.js @@ -9,7 +9,7 @@ function remove(node) { node.parentNode.removeChild(node); } -function scrollTo(selector) { +function scrollToPosition(selector) { var element = document.querySelector(selector); if (element && element.scrollIntoView) { element.scrollIntoView(); @@ -34,7 +34,7 @@ function pluralize(nItems, singular, plural) { } function scrollLink(content, selector) { - var html = '' + content + ""; + var html = '' + content + ""; return html; } diff --git a/data/web/log/style.css b/data/web/log/style.css index 80a17198ed..5b14dc72ad 100644 --- a/data/web/log/style.css +++ b/data/web/log/style.css @@ -87,6 +87,7 @@ thead th:first-child { .summary { padding: 5px; + cursor: pointer; } .summary-warning { background-color: #fef8c3;