in web-app-pix2info-python/src/frontend/scripts.js [510:528]
function updateOutputInfo(pageNumber) {
const summary = gData.documentSummary
if (!summary) return
const pageCount = summary.counts.pages
for (const [value, counts] of Object.entries(summary.counts)) {
const element = elementWithValue(value)
if (!element) continue
const s = element.textContent
const i = s.indexOf(' (')
if (i == -1) continue
const total = counts[0]
const count = counts[pageNumber]
element.textContent =
1 < pageCount
? `${s.slice(0, i)} (${count} / ${total})`
: `${s.slice(0, i)} (${count})`
}
}