From 3ca71d80d62c1b3a6200a423df6419aa3ec256b1 Mon Sep 17 00:00:00 2001 From: Calixte Denizet Date: Mon, 29 Jan 2024 19:28:25 +0100 Subject: [PATCH] [Editor] Update highlight cursors --- web/annotation_editor_layer_builder.css | 2 +- web/app_options.js | 2 +- web/images/cursor-editorFreeHighlight.svg | 4 ++++ web/images/cursor-editorTextHighlight.svg | 7 ++++--- 4 files changed, 10 insertions(+), 5 deletions(-) create mode 100755 web/images/cursor-editorFreeHighlight.svg diff --git a/web/annotation_editor_layer_builder.css b/web/annotation_editor_layer_builder.css index 4fe6b82fedd2d6..4f366c8f043fc5 100644 --- 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 index b2d7277937af7e..068d002f7308e0 100644 --- 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 new file mode 100755 index 00000000000000..b3fbb496c557e5 --- /dev/null +++ b/web/images/cursor-editorFreeHighlight.svg @@ -0,0 +1,4 @@ + + + + diff --git a/web/images/cursor-editorTextHighlight.svg b/web/images/cursor-editorTextHighlight.svg index f8e58585514439..4bd20268d1de2d 100755 --- a/web/images/cursor-editorTextHighlight.svg +++ b/web/images/cursor-editorTextHighlight.svg @@ -1,4 +1,5 @@ - - - + + + +