<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Hi Hilaire,<br>
<br>
I've re done the font sizes menu. It is now numeric, and has more
options.<br>
<br>
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.<br>
<br>
Cheers,<br>
<br>
On 3/29/2023 5:34 PM, Hilaire Fernandes via Cuis-dev wrote:
<blockquote cite="mid:689a6bb4-ab1e-1ceb-452d-21999128e33b@free.fr"
type="cite">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p><font size="4">Hi, <br>
</font></p>
<p>I am not comfortable with the new font size scheme.</p>
<p>In my display 14 is bit too large, and 10 a bit too small. I
miss a 11 points height.</p>
<p>What about:</p>
<p>fontSizes<br>
^ `{<br>
#tinyFonts -> 7.<br>
#verySmallFonts -> <b>11</b>.<br>
#smallFonts ->14.<br>
#standardFonts -> 20.<br>
#largeFonts -> 28.<br>
#veryLargeFonts -> 40.<br>
#hugeFonts -> 56} asDictionary`<br>
</p>
<p><br>
</p>
<p>I wonder the use case of 7 points font size.<br>
</p>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
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</pre>
</body>
</html>