Merge pull request #20841 from Snuffleupagus/misc-improvements

A couple of small improvements
This commit is contained in:
Tim van der Meij 2026-03-10 20:06:35 +01:00 committed by GitHub
commit 27db42d6bc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 11 additions and 10 deletions

View File

@ -480,7 +480,7 @@ export default [
Other Other
\* ======================================================================== */ \* ======================================================================== */
{ {
files: ["gulpfile.mjs", "check_l10n.mjs"], files: ["gulpfile.mjs"],
languageOptions: { globals: globals.node }, languageOptions: { globals: globals.node },
}, },
]; ];

View File

@ -1530,10 +1530,9 @@ class PDFPageProxy {
this._pumpOperatorList(intentArgs); this._pumpOperatorList(intentArgs);
} }
const recordForDebugger = Boolean( const recordForDebugger = !!(
this._pdfBug && globalThis.StepperManager?.enabled this._pdfBug && globalThis.StepperManager?.enabled
); );
const shouldRecordOperations = const shouldRecordOperations =
!this.recordedBBoxes && (recordOperations || recordForDebugger); !this.recordedBBoxes && (recordOperations || recordForDebugger);
@ -1543,12 +1542,11 @@ class PDFPageProxy {
if (shouldRecordOperations) { if (shouldRecordOperations) {
const recordedBBoxes = internalRenderTask.gfx?.dependencyTracker.take(); const recordedBBoxes = internalRenderTask.gfx?.dependencyTracker.take();
if (recordedBBoxes) { if (recordedBBoxes) {
if (internalRenderTask.stepper) { internalRenderTask.stepper?.setOperatorBBoxes(
internalRenderTask.stepper.setOperatorBBoxes( recordedBBoxes,
recordedBBoxes, internalRenderTask.gfx.dependencyTracker.takeDebugMetadata()
internalRenderTask.gfx.dependencyTracker.takeDebugMetadata() );
);
}
if (recordOperations) { if (recordOperations) {
this.recordedBBoxes = recordedBBoxes; this.recordedBBoxes = recordedBBoxes;
} }

View File

@ -79,7 +79,10 @@ class Sidebar {
toggleButton.addEventListener("click", this.toggle.bind(this)); toggleButton.addEventListener("click", this.toggle.bind(this));
this._isOpen = false; this._isOpen = false;
sidebar.hidden = true; sidebar.hidden = true;
globalAbortSignal?.addEventListener("abort", this.destroy.bind(this)); globalAbortSignal?.addEventListener("abort", this.destroy.bind(this), {
once: true,
});
this.#resizeObserver = new ResizeObserver( this.#resizeObserver = new ResizeObserver(
([ ([
{ {