<div dir="ltr"><div class="gmail_default" style="font-family:monospace;font-size:large">Thank you, Juan!<br clear="all"></div><div class="gmail_default" style="font-family:monospace;font-size:large">This is a much-appreciated feature</div><div class="gmail_default" style="font-family:monospace;font-size:large">Cheers</div><div class="gmail_default" style="font-family:monospace;font-size:large"><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><b><font size="2">Ignacio Sniechowski</font></b><b><br></b></div><div><br></div><div><b><br></b></div><div><br></div><div><b></b></div><div><b><br></b></div><div><b><br></b></div><div><b><br></b></div><div><b><br></b></div><div><b></b><br></div><b><div><b><br></b></div><div><b><br></b></div><div><b><br></b></div><br></b><b><br></b><b><br></b><div><br><br><div style="text-align:left"><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Mar 31, 2023 at 5:29 PM Juan Vuletich via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st">cuis-dev@lists.cuis.st</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><u></u>

  
    
    
  
  <div bgcolor="#ffffff">
    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 type="cite">
      
      <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 cols="72">-- 
GNU Dr. Geo
<a href="http://drgeo.eu" target="_blank">http://drgeo.eu</a>
<a href="http://blog.drgeo.eu" target="_blank">http://blog.drgeo.eu</a></pre>
    </blockquote>
    <br>
    <br>
    <pre cols="72">-- 
Juan Vuletich
<a href="http://cuis.st" target="_blank">cuis.st</a>
<a href="http://github.com/jvuletich" target="_blank">github.com/jvuletich</a>
<a href="http://researchgate.net/profile/Juan-Vuletich" target="_blank">researchgate.net/profile/Juan-Vuletich</a>
<a href="http://independent.academia.edu/JuanVuletich" target="_blank">independent.academia.edu/JuanVuletich</a>
<a href="http://patents.justia.com/inventor/juan-manuel-vuletich" target="_blank">patents.justia.com/inventor/juan-manuel-vuletich</a>
<a href="http://linkedin.com/in/juan-vuletich-75611b3" target="_blank">linkedin.com/in/juan-vuletich-75611b3</a>
<a href="http://twitter.com/JuanVuletich" target="_blank">twitter.com/JuanVuletich</a></pre>
  </div>

-- <br>
Cuis-dev mailing list<br>
<a href="mailto:Cuis-dev@lists.cuis.st" target="_blank">Cuis-dev@lists.cuis.st</a><br>
<a href="https://lists.cuis.st/mailman/listinfo/cuis-dev" rel="noreferrer" target="_blank">https://lists.cuis.st/mailman/listinfo/cuis-dev</a><br>
</blockquote></div>