123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612 |
- let opMap;
- const FontInspector = (function FontInspectorClosure() {
- let fonts;
- let active = false;
- const fontAttribute = "data-font-name";
- function removeSelection() {
- const divs = document.querySelectorAll(`span[${fontAttribute}]`);
- for (const div of divs) {
- div.className = "";
- }
- }
- function resetSelection() {
- const divs = document.querySelectorAll(`span[${fontAttribute}]`);
- for (const div of divs) {
- div.className = "debuggerHideText";
- }
- }
- function selectFont(fontName, show) {
- const divs = document.querySelectorAll(
- `span[${fontAttribute}=${fontName}]`
- );
- for (const div of divs) {
- div.className = show ? "debuggerShowText" : "debuggerHideText";
- }
- }
- function textLayerClick(e) {
- if (
- !e.target.dataset.fontName ||
- e.target.tagName.toUpperCase() !== "SPAN"
- ) {
- return;
- }
- const fontName = e.target.dataset.fontName;
- const selects = document.getElementsByTagName("input");
- for (const select of selects) {
- if (select.dataset.fontName !== fontName) {
- continue;
- }
- select.checked = !select.checked;
- selectFont(fontName, select.checked);
- select.scrollIntoView();
- }
- }
- return {
-
- id: "FontInspector",
- name: "Font Inspector",
- panel: null,
- manager: null,
- init(pdfjsLib) {
- const panel = this.panel;
- const tmp = document.createElement("button");
- tmp.addEventListener("click", resetSelection);
- tmp.textContent = "Refresh";
- panel.append(tmp);
- fonts = document.createElement("div");
- panel.append(fonts);
- },
- cleanup() {
- fonts.textContent = "";
- },
- enabled: false,
- get active() {
- return active;
- },
- set active(value) {
- active = value;
- if (active) {
- document.body.addEventListener("click", textLayerClick, true);
- resetSelection();
- } else {
- document.body.removeEventListener("click", textLayerClick, true);
- removeSelection();
- }
- },
-
- fontAdded(fontObj, url) {
- function properties(obj, list) {
- const moreInfo = document.createElement("table");
- for (const entry of list) {
- const tr = document.createElement("tr");
- const td1 = document.createElement("td");
- td1.textContent = entry;
- tr.append(td1);
- const td2 = document.createElement("td");
- td2.textContent = obj[entry].toString();
- tr.append(td2);
- moreInfo.append(tr);
- }
- return moreInfo;
- }
- const moreInfo = properties(fontObj, ["name", "type"]);
- const fontName = fontObj.loadedName;
- const font = document.createElement("div");
- const name = document.createElement("span");
- name.textContent = fontName;
- const download = document.createElement("a");
- if (url) {
- url = /url\(['"]?([^)"']+)/.exec(url);
- download.href = url[1];
- } else if (fontObj.data) {
- download.href = URL.createObjectURL(
- new Blob([fontObj.data], { type: fontObj.mimetype })
- );
- }
- download.textContent = "Download";
- const logIt = document.createElement("a");
- logIt.href = "";
- logIt.textContent = "Log";
- logIt.addEventListener("click", function (event) {
- event.preventDefault();
- console.log(fontObj);
- });
- const select = document.createElement("input");
- select.setAttribute("type", "checkbox");
- select.dataset.fontName = fontName;
- select.addEventListener("click", function () {
- selectFont(fontName, select.checked);
- });
- font.append(select, name, " ", download, " ", logIt, moreInfo);
- fonts.append(font);
-
-
- setTimeout(() => {
- if (this.active) {
- resetSelection();
- }
- }, 2000);
- },
- };
- })();
- const StepperManager = (function StepperManagerClosure() {
- let steppers = [];
- let stepperDiv = null;
- let stepperControls = null;
- let stepperChooser = null;
- let breakPoints = Object.create(null);
- return {
-
- id: "Stepper",
- name: "Stepper",
- panel: null,
- manager: null,
- init(pdfjsLib) {
- const self = this;
- stepperControls = document.createElement("div");
- stepperChooser = document.createElement("select");
- stepperChooser.addEventListener("change", function (event) {
- self.selectStepper(this.value);
- });
- stepperControls.append(stepperChooser);
- stepperDiv = document.createElement("div");
- this.panel.append(stepperControls, stepperDiv);
- if (sessionStorage.getItem("pdfjsBreakPoints")) {
- breakPoints = JSON.parse(sessionStorage.getItem("pdfjsBreakPoints"));
- }
- opMap = Object.create(null);
- for (const key in pdfjsLib.OPS) {
- opMap[pdfjsLib.OPS[key]] = key;
- }
- },
- cleanup() {
- stepperChooser.textContent = "";
- stepperDiv.textContent = "";
- steppers = [];
- },
- enabled: false,
- active: false,
-
- create(pageIndex) {
- const debug = document.createElement("div");
- debug.id = "stepper" + pageIndex;
- debug.hidden = true;
- debug.className = "stepper";
- stepperDiv.append(debug);
- const b = document.createElement("option");
- b.textContent = "Page " + (pageIndex + 1);
- b.value = pageIndex;
- stepperChooser.append(b);
- const initBreakPoints = breakPoints[pageIndex] || [];
- const stepper = new Stepper(debug, pageIndex, initBreakPoints);
- steppers.push(stepper);
- if (steppers.length === 1) {
- this.selectStepper(pageIndex, false);
- }
- return stepper;
- },
- selectStepper(pageIndex, selectPanel) {
- pageIndex |= 0;
- if (selectPanel) {
- this.manager.selectPanel(this);
- }
- for (const stepper of steppers) {
- stepper.panel.hidden = stepper.pageIndex !== pageIndex;
- }
- for (const option of stepperChooser.options) {
- option.selected = (option.value | 0) === pageIndex;
- }
- },
- saveBreakPoints(pageIndex, bps) {
- breakPoints[pageIndex] = bps;
- sessionStorage.setItem("pdfjsBreakPoints", JSON.stringify(breakPoints));
- },
- };
- })();
- const Stepper = (function StepperClosure() {
-
- function c(tag, textContent) {
- const d = document.createElement(tag);
- if (textContent) {
- d.textContent = textContent;
- }
- return d;
- }
- function simplifyArgs(args) {
- if (typeof args === "string") {
- const MAX_STRING_LENGTH = 75;
- return args.length <= MAX_STRING_LENGTH
- ? args
- : args.substring(0, MAX_STRING_LENGTH) + "...";
- }
- if (typeof args !== "object" || args === null) {
- return args;
- }
- if ("length" in args) {
-
- const MAX_ITEMS = 10,
- simpleArgs = [];
- let i, ii;
- for (i = 0, ii = Math.min(MAX_ITEMS, args.length); i < ii; i++) {
- simpleArgs.push(simplifyArgs(args[i]));
- }
- if (i < args.length) {
- simpleArgs.push("...");
- }
- return simpleArgs;
- }
- const simpleObj = {};
- for (const key in args) {
- simpleObj[key] = simplifyArgs(args[key]);
- }
- return simpleObj;
- }
-
- class Stepper {
- constructor(panel, pageIndex, initialBreakPoints) {
- this.panel = panel;
- this.breakPoint = 0;
- this.nextBreakPoint = null;
- this.pageIndex = pageIndex;
- this.breakPoints = initialBreakPoints;
- this.currentIdx = -1;
- this.operatorListIdx = 0;
- this.indentLevel = 0;
- }
- init(operatorList) {
- const panel = this.panel;
- const content = c("div", "c=continue, s=step");
- const table = c("table");
- content.append(table);
- table.cellSpacing = 0;
- const headerRow = c("tr");
- table.append(headerRow);
- headerRow.append(
- c("th", "Break"),
- c("th", "Idx"),
- c("th", "fn"),
- c("th", "args")
- );
- panel.append(content);
- this.table = table;
- this.updateOperatorList(operatorList);
- }
- updateOperatorList(operatorList) {
- const self = this;
- function cboxOnClick() {
- const x = +this.dataset.idx;
- if (this.checked) {
- self.breakPoints.push(x);
- } else {
- self.breakPoints.splice(self.breakPoints.indexOf(x), 1);
- }
- StepperManager.saveBreakPoints(self.pageIndex, self.breakPoints);
- }
- const MAX_OPERATORS_COUNT = 15000;
- if (this.operatorListIdx > MAX_OPERATORS_COUNT) {
- return;
- }
- const chunk = document.createDocumentFragment();
- const operatorsToDisplay = Math.min(
- MAX_OPERATORS_COUNT,
- operatorList.fnArray.length
- );
- for (let i = this.operatorListIdx; i < operatorsToDisplay; i++) {
- const line = c("tr");
- line.className = "line";
- line.dataset.idx = i;
- chunk.append(line);
- const checked = this.breakPoints.includes(i);
- const args = operatorList.argsArray[i] || [];
- const breakCell = c("td");
- const cbox = c("input");
- cbox.type = "checkbox";
- cbox.className = "points";
- cbox.checked = checked;
- cbox.dataset.idx = i;
- cbox.onclick = cboxOnClick;
- breakCell.append(cbox);
- line.append(breakCell, c("td", i.toString()));
- const fn = opMap[operatorList.fnArray[i]];
- let decArgs = args;
- if (fn === "showText") {
- const glyphs = args[0];
- const charCodeRow = c("tr");
- const fontCharRow = c("tr");
- const unicodeRow = c("tr");
- for (const glyph of glyphs) {
- if (typeof glyph === "object" && glyph !== null) {
- charCodeRow.append(c("td", glyph.originalCharCode));
- fontCharRow.append(c("td", glyph.fontChar));
- unicodeRow.append(c("td", glyph.unicode));
- } else {
-
- const advanceEl = c("td", glyph);
- advanceEl.classList.add("advance");
- charCodeRow.append(advanceEl);
- fontCharRow.append(c("td"));
- unicodeRow.append(c("td"));
- }
- }
- decArgs = c("td");
- const table = c("table");
- table.classList.add("showText");
- decArgs.append(table);
- table.append(charCodeRow, fontCharRow, unicodeRow);
- } else if (fn === "restore" && this.indentLevel > 0) {
- this.indentLevel--;
- }
- line.append(c("td", " ".repeat(this.indentLevel * 2) + fn));
- if (fn === "save") {
- this.indentLevel++;
- }
- if (decArgs instanceof HTMLElement) {
- line.append(decArgs);
- } else {
- line.append(c("td", JSON.stringify(simplifyArgs(decArgs))));
- }
- }
- if (operatorsToDisplay < operatorList.fnArray.length) {
- const lastCell = c("td", "...");
- lastCell.colspan = 4;
- chunk.append(lastCell);
- }
- this.operatorListIdx = operatorList.fnArray.length;
- this.table.append(chunk);
- }
- getNextBreakPoint() {
- this.breakPoints.sort(function (a, b) {
- return a - b;
- });
- for (const breakPoint of this.breakPoints) {
- if (breakPoint > this.currentIdx) {
- return breakPoint;
- }
- }
- return null;
- }
- breakIt(idx, callback) {
- StepperManager.selectStepper(this.pageIndex, true);
- this.currentIdx = idx;
- const listener = evt => {
- switch (evt.keyCode) {
- case 83:
- document.removeEventListener("keydown", listener);
- this.nextBreakPoint = this.currentIdx + 1;
- this.goTo(-1);
- callback();
- break;
- case 67:
- document.removeEventListener("keydown", listener);
- this.nextBreakPoint = this.getNextBreakPoint();
- this.goTo(-1);
- callback();
- break;
- }
- };
- document.addEventListener("keydown", listener);
- this.goTo(idx);
- }
- goTo(idx) {
- const allRows = this.panel.getElementsByClassName("line");
- for (const row of allRows) {
- if ((row.dataset.idx | 0) === idx) {
- row.style.backgroundColor = "rgb(251,250,207)";
- row.scrollIntoView();
- } else {
- row.style.backgroundColor = null;
- }
- }
- }
- }
- return Stepper;
- })();
- const Stats = (function Stats() {
- let stats = [];
- function clear(node) {
- node.textContent = "";
- }
- function getStatIndex(pageNumber) {
- for (const [i, stat] of stats.entries()) {
- if (stat.pageNumber === pageNumber) {
- return i;
- }
- }
- return false;
- }
- return {
-
- id: "Stats",
- name: "Stats",
- panel: null,
- manager: null,
- init(pdfjsLib) {},
- enabled: false,
- active: false,
-
- add(pageNumber, stat) {
- if (!stat) {
- return;
- }
- const statsIndex = getStatIndex(pageNumber);
- if (statsIndex !== false) {
- stats[statsIndex].div.remove();
- stats.splice(statsIndex, 1);
- }
- const wrapper = document.createElement("div");
- wrapper.className = "stats";
- const title = document.createElement("div");
- title.className = "title";
- title.textContent = "Page: " + pageNumber;
- const statsDiv = document.createElement("div");
- statsDiv.textContent = stat.toString();
- wrapper.append(title, statsDiv);
- stats.push({ pageNumber, div: wrapper });
- stats.sort(function (a, b) {
- return a.pageNumber - b.pageNumber;
- });
- clear(this.panel);
- for (const entry of stats) {
- this.panel.append(entry.div);
- }
- },
- cleanup() {
- stats = [];
- clear(this.panel);
- },
- };
- })();
- const PDFBug = (function PDFBugClosure() {
- const panelWidth = 300;
- const buttons = [];
- let activePanel = null;
- return {
- tools: [FontInspector, StepperManager, Stats],
- enable(ids) {
- const all = ids.length === 1 && ids[0] === "all";
- const tools = this.tools;
- for (const tool of tools) {
- if (all || ids.includes(tool.id)) {
- tool.enabled = true;
- }
- }
- if (!all) {
-
- tools.sort(function (a, b) {
- let indexA = ids.indexOf(a.id);
- indexA = indexA < 0 ? tools.length : indexA;
- let indexB = ids.indexOf(b.id);
- indexB = indexB < 0 ? tools.length : indexB;
- return indexA - indexB;
- });
- }
- },
- init(pdfjsLib, container, ids) {
- this.loadCSS();
- this.enable(ids);
-
- const ui = document.createElement("div");
- ui.id = "PDFBug";
- const controls = document.createElement("div");
- controls.setAttribute("class", "controls");
- ui.append(controls);
- const panels = document.createElement("div");
- panels.setAttribute("class", "panels");
- ui.append(panels);
- container.append(ui);
- container.style.right = panelWidth + "px";
-
- for (const tool of this.tools) {
- const panel = document.createElement("div");
- const panelButton = document.createElement("button");
- panelButton.textContent = tool.name;
- panelButton.addEventListener("click", event => {
- event.preventDefault();
- this.selectPanel(tool);
- });
- controls.append(panelButton);
- panels.append(panel);
- tool.panel = panel;
- tool.manager = this;
- if (tool.enabled) {
- tool.init(pdfjsLib);
- } else {
- panel.textContent =
- `${tool.name} is disabled. To enable add "${tool.id}" to ` +
- "the pdfBug parameter and refresh (separate multiple by commas).";
- }
- buttons.push(panelButton);
- }
- this.selectPanel(0);
- },
- loadCSS() {
- const { url } = import.meta;
- const link = document.createElement("link");
- link.rel = "stylesheet";
- link.href = url.replace(/.js$/, ".css");
- document.head.append(link);
- },
- cleanup() {
- for (const tool of this.tools) {
- if (tool.enabled) {
- tool.cleanup();
- }
- }
- },
- selectPanel(index) {
- if (typeof index !== "number") {
- index = this.tools.indexOf(index);
- }
- if (index === activePanel) {
- return;
- }
- activePanel = index;
- for (const [j, tool] of this.tools.entries()) {
- const isActive = j === index;
- buttons[j].classList.toggle("active", isActive);
- tool.active = isActive;
- tool.panel.hidden = !isActive;
- }
- },
- };
- })();
- globalThis.FontInspector = FontInspector;
- globalThis.StepperManager = StepperManager;
- globalThis.Stats = Stats;
- export { PDFBug };
|