Merge pull request #20692 from Snuffleupagus/debugger-findIndex

Replace the `getStatIndex` helper, in `web/debugger.mjs`, with native functionality
This commit is contained in:
Tim van der Meij 2026-02-20 20:33:00 +01:00 committed by GitHub
commit f395042b8d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -677,14 +677,6 @@ const Stats = (function Stats() {
function clear(node) {
node.textContent = ""; // Remove any `node` contents from the DOM.
}
function getStatIndex(pageNumber) {
for (const [i, stat] of stats.entries()) {
if (stat.pageNumber === pageNumber) {
return i;
}
}
return false;
}
return {
// Properties/functions needed by PDFBug.
id: "Stats",
@ -699,8 +691,8 @@ const Stats = (function Stats() {
if (!stat) {
return;
}
const statsIndex = getStatIndex(pageNumber);
if (statsIndex !== false) {
const statsIndex = stats.findIndex(s => s.pageNumber === pageNumber);
if (statsIndex !== -1) {
stats[statsIndex].div.remove();
stats.splice(statsIndex, 1);
}