diff --git a/options.xhtml b/options.xhtml index be700cc21..1b56838e4 100644 --- a/options.xhtml +++ b/options.xhtml @@ -19368,7 +19368,7 @@ null or one of “followSystem”, “light”, “dark”
User interface scale.
Type: -null or integer or floating point number between 0.0 and 1.0 (both inclusive)
+null or integer or floating point number between 1.0 and 2.0 (both inclusive)Default:
null
Table of Contents
This section lists the release notes for stable versions of Home Manager and the current unstable version.
Table of Contents
This is the current unstable branch and the information in this -section is therefore not final.
This release has the following notable changes:
+section is therefore not final.This release has the following notable changes:
The programs.anki.uiScale option now expects a value in the
+range 1.0–2.0, previously it erroneously expected values in the
+range 0.0–1.0.
The state version in this release includes the changes below. These
changes are only active if the home.stateVersion option is set to
"26.05" or later.
The gtk.gtk4.theme option does not mirror gtk.theme by default