[Cuis-dev] FontSize

Juan Vuletich juan at cuis.st
Fri Mar 31 13:29:01 PDT 2023


Hi Hilaire,

I've re done the font sizes menu. It is now numeric, and has more options.

And I did something else. I added a `UserPrefs.txt` file where you can 
say your preference, and Cuis will load it on every startup without 
needing to save the image.

Cheers,

On 3/29/2023 5:34 PM, Hilaire Fernandes via Cuis-dev wrote:
>
> 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


-- 
Juan Vuletich
cuis.st
github.com/jvuletich
researchgate.net/profile/Juan-Vuletich
independent.academia.edu/JuanVuletich
patents.justia.com/inventor/juan-manuel-vuletich
linkedin.com/in/juan-vuletich-75611b3
twitter.com/JuanVuletich

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230331/b3dda41c/attachment.htm>


More information about the Cuis-dev mailing list