Merge pull request mozilla#17364 from calixteman/editor_disable_highl…

…ight [Editor] Disable mouse events when leaving the highlight mode
timvandermeij · Dec 1, 2023 · 6b3ae44 · 6b3ae44
2 parents a1d84f5 + 83d0b6c
commit 6b3ae44
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/src/display/editor/highlight.js b/src/display/editor/highlight.js
@@ -198,6 +198,18 @@ class HighlightEditor extends AnnotationEditor {
     });
   }
 
+  /** @inheritdoc */
+  disableEditing() {
+    super.disableEditing();
+    this.div.classList.toggle("disabled", true);
+  }
+
+  /** @inheritdoc */
+  enableEditing() {
+    super.enableEditing();
+    this.div.classList.toggle("disabled", false);
+  }
+
   /** @inheritdoc */
   fixAndSetPosition() {
     return super.fixAndSetPosition(0);

diff --git a/web/annotation_editor_layer_builder.css b/web/annotation_editor_layer_builder.css
@@ -954,6 +954,10 @@
       pointer-events: auto;
     }
 
+    &.disabled .internal {
+      pointer-events: none;
+    }
+
     &.selectedEditor {
       .internal {
         cursor: pointer;