mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 15:18:08 +02:00
Code Activity

Merge pull request #17652 from calixteman/editor_disable_thickness

Browse source 
[Editor] Disable the thickness slider for non-free highlight
This commit is contained in:
calixteman 2024-02-11 18:32:36 +01:00 • committed by GitHub
commit 9980447d25
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
web/annotation_editor_params.js
View file

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