Added the ability to scale a popover. (#443)

* Added the ability to scale a popover. * Removed redundant code
2024-11-05 20:59:29 -08:00
parent b88644833d
commit 6250c2b3be
7 changed files with 714 additions and 532 deletions
--- a/options.ts
+++ b/options.ts
@@ -383,6 +383,7 @@ const options = mkOptions(OPTIONS, {
                feinttext: opt(colors.surface0),
                label: opt(colors.lavender),
                popover: {
+                    scaling: opt(100),
                    text: opt(colors.lavender),
                    background: opt(secondary_colors.mantle),
                    border: opt(secondary_colors.mantle),