Indent the stepper on save/restore.

Makes it easier to debug and visualize the graphics
state changes in the debugger.
This commit is contained in:
Brendan Dahl 2021-10-18 16:37:51 -07:00
parent 6863f36880
commit 2e56369f79
2 changed files with 9 additions and 1 deletions

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 {

View File

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