<!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 Jon,<br>
<br>
Yes. As I just said, 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>
You can simply edit the UserPrefs.txt file. If you delete it, the
setting in the image will not be overriden.<br>
<br>
Maybe we'd remove the file from GitHub. But then, few will realize
of the possibility.<br>
<br>
Cheers,<br>
<br>
<br>
On 3/31/2023 9:10 PM, Jon Hylands via Cuis-dev wrote:
<blockquote
cite="mid:CA+=am+UxJ-RRxJF9awE6Bi+8JP9rFP0cmUGWKEGS+x0Fx1owLA@mail.gmail.com"
type="cite">
<div dir="ltr">When I set my "Size of GUI elements" to 11, save
and close the image, and then start that image back up, it
doesn't remember, and goes back to some huge text size.
<div><br>
</div>
<div>- Jon</div>
<div><br>
</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Fri, 31 Mar 2023 at 16:29,
Juan Vuletich via Cuis-dev <<a moz-do-not-send="true"
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: 1px solid rgb(204, 204, 204);
padding-left: 1ex;">
<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 moz-do-not-send="true" href="http://drgeo.eu" target="_blank">http://drgeo.eu</a>
<a moz-do-not-send="true" href="http://blog.drgeo.eu" target="_blank">http://blog.drgeo.eu</a></pre>
</blockquote>
<br>
<br>
<pre cols="72">--
Juan Vuletich
<a moz-do-not-send="true" href="http://cuis.st" target="_blank">cuis.st</a>
<a moz-do-not-send="true" href="http://github.com/jvuletich" target="_blank">github.com/jvuletich</a>
<a moz-do-not-send="true" href="http://researchgate.net/profile/Juan-Vuletich" target="_blank">researchgate.net/profile/Juan-Vuletich</a>
<a moz-do-not-send="true" href="http://independent.academia.edu/JuanVuletich" target="_blank">independent.academia.edu/JuanVuletich</a>
<a moz-do-not-send="true" href="http://patents.justia.com/inventor/juan-manuel-vuletich" target="_blank">patents.justia.com/inventor/juan-manuel-vuletich</a>
<a moz-do-not-send="true" href="http://linkedin.com/in/juan-vuletich-75611b3" target="_blank">linkedin.com/in/juan-vuletich-75611b3</a>
<a moz-do-not-send="true" href="http://twitter.com/JuanVuletich" target="_blank">twitter.com/JuanVuletich</a></pre>
</div>
-- <br>
Cuis-dev mailing list<br>
<a moz-do-not-send="true" href="mailto:Cuis-dev@lists.cuis.st"
target="_blank">Cuis-dev@lists.cuis.st</a><br>
<a moz-do-not-send="true"
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>
</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>