mirror of
https://github.com/nix-community/home-manager.git
synced 2026-01-11 17:39:37 +08:00
Use `numbers.between 1.0 2.0` for the UI scale type to match Anki's actual behavior where ProfileManager.uiScale clamps values below 1.0 to 1.0.