[Cuis-dev] FontSize

[Ignacio Sniechowski]

Thank you, Juan!
This is a much-appreciated feature
Cheers

*Ignacio Sniechowski*



















On Fri, Mar 31, 2023 at 5:29 PM Juan Vuletich via Cuis-dev <
cuis-dev at lists.cuis.st> wrote:

> 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. Geohttp://drgeo.euhttp://blog.drgeo.eu
>
>
>
> --
> Juan Vuletichcuis.stgithub.com/jvuletichresearchgate.net/profile/Juan-Vuletichindependent.academia.edu/JuanVuletichpatents.justia.com/inventor/juan-manuel-vuletichlinkedin.com/in/juan-vuletich-75611b3twitter.com/JuanVuletich
>
> --
> Cuis-dev mailing list
> Cuis-dev at lists.cuis.st
> https://lists.cuis.st/mailman/listinfo/cuis-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230401/f54d7bab/attachment.htm>