[Editor] Disable the thickness slider for non-free highlight

src/display/editor/highlight.js

@@ -237,6 +237,7 @@ class HighlightEditor extends AnnotationEditor {
         AnnotationEditorParamsType.HIGHLIGHT_THICKNESS,
         this.#thickness || HighlightEditor._defaultThickness,
       ],
+      [AnnotationEditorParamsType.HIGHLIGHT_FREE, this.#isFreeHighlight],
     ];
   }
 

src/shared/util.js

@@ -89,6 +89,7 @@ const AnnotationEditorParamsType = {
   HIGHLIGHT_COLOR: 31,
   HIGHLIGHT_DEFAULT_COLOR: 32,
   HIGHLIGHT_THICKNESS: 33,
+  HIGHLIGHT_FREE: 34,
 };
 
 // Permission flags from Table 22, Section 7.6.3.2 of the PDF specification.

web/annotation_editor_params.js

@@ -84,6 +84,9 @@ class AnnotationEditorParams {
           case AnnotationEditorParamsType.HIGHLIGHT_THICKNESS:
             editorFreeHighlightThickness.value = value;
             break;
+          case AnnotationEditorParamsType.HIGHLIGHT_FREE:
+            editorFreeHighlightThickness.disabled = !value;
+            break;
         }
       }
     });