Merge pull request #18594 from Snuffleupagus/rm-enableHighlightEditor-pref

Remove the `enableHighlightEditor` preference
This commit is contained in:
Jonas Jenwald 2024-08-13 08:14:09 +02:00 committed by GitHub
commit 17b24639b9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 1 additions and 18 deletions

View file

@ -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.