From 14c1f379ec05400f05058e6aca50cbe5846d0733 Mon Sep 17 00:00:00 2001 From: toasted-nutbread Date: Sun, 29 Dec 2019 18:35:12 -0500 Subject: Update options schema --- ext/bg/data/options-schema.json | 10 ++++++++++ 1 file changed, 10 insertions(+) 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 -- cgit v1.2.3