diff --git a/web/debugger.js b/web/debugger.js index 7849cc4fb..216e01a22 100644 --- a/web/debugger.js +++ b/web/debugger.js @@ -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 { diff --git a/web/viewer.css b/web/viewer.css index 0ed926dd3..5850a8763 100644 --- a/web/viewer.css +++ b/web/viewer.css @@ -1707,6 +1707,7 @@ html[dir="rtl"] #documentPropertiesOverlay .row > * { } #PDFBug table { font-size: 10px; + white-space: pre; } #PDFBug table.showText { border-collapse: collapse;