diff --git a/extensions/chromium/preferences_schema.json b/extensions/chromium/preferences_schema.json index ec8654581065e..80f2716d11c4c 100644 --- a/extensions/chromium/preferences_schema.json +++ b/extensions/chromium/preferences_schema.json @@ -86,10 +86,6 @@ "type": "string", "default": "yellow=#FFFF98,green=#53FFBC,blue=#80EBFF,pink=#FFCBE6,red=#FF4F5F" }, - "enableStampEditor": { - "type": "boolean", - "default": true - }, "disableRange": { "title": "Disable range requests", "description": "Whether to disable range requests (not recommended).", diff --git a/web/app.js b/web/app.js index 45dc9fd7e221b..5dec14086101a 100644 --- a/web/app.js +++ b/web/app.js @@ -521,10 +521,6 @@ const PDFViewerApplication = { if (appConfig.annotationEditorParams) { if (annotationEditorMode !== AnnotationEditorType.DISABLE) { - if (AppOptions.get("enableStampEditor")) { - appConfig.toolbar?.editorStampButton?.classList.remove("hidden"); - } - const editorHighlightButton = appConfig.toolbar?.editorHighlightButton; if (editorHighlightButton && AppOptions.get("enableHighlightEditor")) { editorHighlightButton.hidden = false; diff --git a/web/app_options.js b/web/app_options.js index ac24bf1505873..3df0a95c244ad 100644 --- a/web/app_options.js +++ b/web/app_options.js @@ -172,14 +172,6 @@ const defaultOptions = { value: typeof PDFJSDev === "undefined" || !PDFJSDev.test("CHROME"), kind: OptionKind.VIEWER + OptionKind.PREFERENCE, }, - enableStampEditor: { - // 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: true, - kind: OptionKind.VIEWER + OptionKind.PREFERENCE, - }, externalLinkRel: { /** @type {string} */ value: "noopener noreferrer nofollow", diff --git a/web/viewer.html b/web/viewer.html index 09223821964a8..4175bcf5dbe80 100644 --- a/web/viewer.html +++ b/web/viewer.html @@ -366,7 +366,7 @@ -