From 5946d20dc984a801648ccd9fbb334d9560b9e6c2 Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Thu, 18 Jul 2024 15:12:35 +0200
Subject: [PATCH] [Editor] Allow to change a preference from the editor UI
 manager

We want to be able to update a global pref (i.e. enableAltText) in using a toggle button in the new alt-text dialog.
---
 src/display/editor/tools.js | 8 ++++++++
 web/app.js                  | 5 +++++
 2 files changed, 13 insertions(+)

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 };