[Cuis-dev] FontSize
Hilaire Fernandes
hfern at free.fr
Wed Mar 29 13:34:56 PDT 2023
Hi,
I am not comfortable with the new font size scheme.
In my display 14 is bit too large, and 10 a bit too small. I miss a 11
points height.
What about:
fontSizes
^ `{
#tinyFonts -> 7.
#verySmallFonts -> *11*.
#smallFonts ->14.
#standardFonts -> 20.
#largeFonts -> 28.
#veryLargeFonts -> 40.
#hugeFonts -> 56} asDictionary`
I wonder the use case of 7 points font size.
--
GNU Dr. Geo
http://drgeo.eu
http://blog.drgeo.eu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230329/833a3014/attachment.htm>
More information about the Cuis-dev
mailing list