Am Donnerstag, dem 26.01.2023 um 10:26 +0100 schrieb Daniel: > And in order to not confuse users about different percentages, we > would > call the "Default zoom %" just "Font scaling %" or so. It's already > in > the Preferences font section anyway between fonts and font sizes, so > the > user will make the connection easily. > > So, the default zoom will always be 100% but the default font scaling > can differ. This makes 10% increases round numbers. > > This will also make setting the font scaling to something more > reasonable appear less strange. For example, on macOS the default > zoom > is currently 150% while something closer to 152% is a better > representation of the actual font size on screen. We can calculate > the > exact number from the DPI of the display and set it as system defaut > and > also provide a "Reset to system default" button next to the "Font > scaling %".
This makes more sense, but in order to separate it from zoom I would rather make it a scaling factor (e.g., 1.5) rather than a percentage value. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
