aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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