[Editor] Update highlight cursors

mozilla · Jan 29, 2024 · 3ca71d8 · 3ca71d8
1 parent 56dabe9
commit 3ca71d8
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 5 deletions.
diff --git a/web/annotation_editor_layer_builder.css b/web/annotation_editor_layer_builder.css
@@ -42,7 +42,7 @@
   --editorHighlight-editing-cursor: url(images/cursor-editorTextHighlight.svg)
       23 23,
     text;
-  --editorFreeHighlight-editing-cursor: url(images/toolbarButton-editorHighlight.svg)
+  --editorFreeHighlight-editing-cursor: url(images/cursor-editorFreeHighlight.svg)
       0 16,
     pointer;
 }

diff --git a/web/app_options.js b/web/app_options.js
@@ -135,7 +135,7 @@ const defaultOptions = {
     // in Firefox release, but it has to be temporary.
     // TODO: remove it when unnecessary.
     /** @type {boolean} */
-    value: typeof PDFJSDev === "undefined" || PDFJSDev.test("TESTING"),
+    value: true, //typeof PDFJSDev === "undefined" || PDFJSDev.test("TESTING"),
     kind: OptionKind.VIEWER + OptionKind.PREFERENCE,
   },
   enablePermissions: {

diff --git a/web/images/cursor-editorFreeHighlight.svg b/web/images/cursor-editorFreeHighlight.svg
diff --git a/web/images/cursor-editorTextHighlight.svg b/web/images/cursor-editorTextHighlight.svg