diff options
| -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 |