1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00

[editor] Introduce a proper annotationEditorMode option/preference (PR 15075 follow-up)

This replaces the boolean `annotationEditorEnabled` option/preference with a "proper" `annotationEditorMode` one. This way it's not only possible for the user to control if Editing is enabled/disabled, but also which *specific* Editing-mode should become enabled upon PDF document load.

Given that Editing is not enabled/released yet, I cannot imagine that changing the name and type of the option/preference should be an issue.
This commit is contained in:
Jonas Jenwald 2022-06-29 11:13:03 +02:00
parent f1d4015508
commit 4a4c6b9851
5 changed files with 36 additions and 26 deletions

View file

@ -55,6 +55,7 @@ const AnnotationMode = {
const AnnotationEditorPrefix = "pdfjs_internal_editor_";
const AnnotationEditorType = {
DISABLE: -1,
NONE: 0,
FREETEXT: 3,
INK: 15,