diff --git a/src/display/editor/tools.js b/src/display/editor/tools.js index 93b6c4925..61e7f7e8c 100644 --- a/src/display/editor/tools.js +++ b/src/display/editor/tools.js @@ -928,6 +928,14 @@ class AnnotationEditorUIManager { }); } + setPreference(name, value) { + this._eventBus.dispatch("setpreference", { + source: this, + name, + value, + }); + } + onPageChanging({ pageNumber }) { this.#currentPageIndex = pageNumber - 1; } diff --git a/web/app.js b/web/app.js index b74ab491a..b4f57301c 100644 --- a/web/app.js +++ b/web/app.js @@ -1942,6 +1942,7 @@ const PDFViewerApplication = { { signal } ); eventBus._on("reporttelemetry", webViewerReportTelemetry, { signal }); + eventBus._on("setpreference", webViewerSetPreference, { signal }); } }, @@ -3166,4 +3167,8 @@ function webViewerReportTelemetry({ details }) { PDFViewerApplication.externalServices.reportTelemetry(details); } +function webViewerSetPreference({ name, value }) { + PDFViewerApplication.preferences.set(name, value); +} + export { PDFViewerApplication };