mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Merge pull request #14162 from brendandahl/indent-stepper

Browse source 
Indent the stepper on save/restore.
This commit is contained in:
Tim van der Meij 2021-10-22 21:17:36 +02:00 • committed by GitHub
commit 38e5360533
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
web/debugger.js
View file

@ -292,6 +292,7 @@ const Stepper = (function StepperClosure() {
this.breakPoints = initialBreakPoints;
this.currentIdx = -1;
this.operatorListIdx = 0;
this.indentLevel = 0;
}
init(operatorList) {
@ -382,8 +383,14 @@ const Stepper = (function StepperClosure() {
table.appendChild(charCodeRow);
table.appendChild(fontCharRow);
table.appendChild(unicodeRow);
} else if (fn === "restore") {
this.indentLevel--;
}
line.appendChild(c("td", fn));
line.appendChild(c("td", " ".repeat(this.indentLevel * 2) + fn));
if (fn === "save") {
this.indentLevel++;
}
if (decArgs instanceof HTMLElement) {
line.appendChild(decArgs);
} else {

1
web/viewer.css
View file

@ -1707,6 +1707,7 @@ html[dir="rtl"] #documentPropertiesOverlay .row > * {
}
#PDFBug table {
font-size: 10px;
white-space: pre;
}
#PDFBug table.showText {
border-collapse: collapse;