[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