summaryrefslogtreecommitdiff
path: root/ext/bg
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2019-12-29 18:35:12 -0500
committertoasted-nutbread <toasted-nutbread@users.noreply.github.com>2020-01-22 20:38:21 -0500
commit14c1f379ec05400f05058e6aca50cbe5846d0733 (patch)
tree906a813d9f2e3b05742efe627a34be6db33fb53f /ext/bg
parent4d85a36091c68237c53136a6f78692eaf3a60a37 (diff)
Update options schema
Diffstat (limited to 'ext/bg')
-rw-r--r--ext/bg/data/options-schema.json10
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