Convert from innerText to textContent (W3C standard).

This commit is contained in:
David Anson 2015-05-08 09:27:25 -07:00
parent a5f811ad1a
commit b7f8a52899
2 changed files with 2 additions and 2 deletions

View file

@ -95,7 +95,7 @@
// Handle violation navigation
function onLineNumberClick(e) {
var line = document.getElementById("l" + e.target.innerText);
var line = document.getElementById("l" + e.target.textContent);
if (line) {
var highlighted = document.getElementsByClassName("highlight");
Array.prototype.forEach.call(highlighted, function forElement(element) {