in addon/src/dxr.js [16:40]
(function () {
// Don't do anything if this isn't a file.
const panel = getNavigationPanel();
if (!panel) {
return;
}
const path = getPath();
if (!path || !isCoverageSupported(path)) {
return;
}
// Get the current revision.
const revPattern = new RegExp("Mercurial \\(([0-9a-f]+)\\)");
const m = panel.innerHTML.match(revPattern);
const revPromise = Promise.resolve(m[1]);
const button = injectToggle(revPromise, path, applyOverlay, removeOverlay);
if (!button) {
return;
}
let treeSelector = document.getElementById("tree-selector");
treeSelector.appendChild(button);
})();