diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-12-29 18:35:12 -0500 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-01-22 20:38:21 -0500 |
| commit | 14c1f379ec05400f05058e6aca50cbe5846d0733 (patch) | |
| tree | 906a813d9f2e3b05742efe627a34be6db33fb53f | |
| parent | 4d85a36091c68237c53136a6f78692eaf3a60a37 (diff) | |
Update options schema
| -rw-r--r-- | ext/bg/data/options-schema.json | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ext/bg/data/options-schema.json b/ext/bg/data/options-schema.json index c086052b..025ade90 100644 --- a/ext/bg/data/options-schema.json +++ b/ext/bg/data/options-schema.json @@ -91,6 +91,8 @@ "popupVerticalOffset2", "popupHorizontalTextPosition", "popupVerticalTextPosition", + "popupScalingFactor", + "popupScaleRelativeToPageZoom", "showGuide", "compactTags", "compactGlossaries", @@ -166,6 +168,14 @@ "enum": ["default", "before", "after", "left", "right"], "default": "before" }, + "popupScalingFactor": { + "type": "number", + "default": 1 + }, + "popupScaleRelativeToPageZoom": { + "type": "boolean", + "default": true + }, "showGuide": { "type": "boolean", "default": true |