diff --git a/extensions/chromium/preferences_schema.json b/extensions/chromium/preferences_schema.json index f965785021fc2..886cc87b44029 100644 --- a/extensions/chromium/preferences_schema.json +++ b/extensions/chromium/preferences_schema.json @@ -94,10 +94,6 @@ "description": "Whether to allow execution of active content (JavaScript) by PDF files.", "default": false }, - "enableHighlightEditor": { - "type": "boolean", - "default": false - }, "enableHighlightFloatingButton": { "type": "boolean", "default": false diff --git a/web/app.js b/web/app.js index 1a6969ef59f87..6ae653135ee35 100644 --- a/web/app.js +++ b/web/app.js @@ -558,11 +558,6 @@ const PDFViewerApplication = { typeof AbortSignal.any === "function") && annotationEditorMode !== AnnotationEditorType.DISABLE ) { - const editorHighlightButton = appConfig.toolbar?.editorHighlightButton; - if (editorHighlightButton && AppOptions.get("enableHighlightEditor")) { - editorHighlightButton.hidden = false; - } - this.annotationEditorParams = new AnnotationEditorParams( appConfig.annotationEditorParams, eventBus diff --git a/web/app_options.js b/web/app_options.js index a3372dbfc77a0..09a0720d8f5ac 100644 --- a/web/app_options.js +++ b/web/app_options.js @@ -200,14 +200,6 @@ const defaultOptions = { value: true, kind: OptionKind.VIEWER + OptionKind.PREFERENCE + OptionKind.EVENT_DISPATCH, }, - enableHighlightEditor: { - // We'll probably want to make some experiments before enabling this - // in Firefox release, but it has to be temporary. - // TODO: remove it when unnecessary. - /** @type {boolean} */ - value: typeof PDFJSDev === "undefined" || PDFJSDev.test("TESTING"), - kind: OptionKind.VIEWER + OptionKind.PREFERENCE, - }, enableHighlightFloatingButton: { // We'll probably want to make some experiments before enabling this // in Firefox release, but it has to be temporary. diff --git a/web/viewer.html b/web/viewer.html index 423dad49a2017..4a3b266c00d81 100644 --- a/web/viewer.html +++ b/web/viewer.html @@ -363,7 +363,7 @@
-