<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="+1">Thanks Luciano!<br>
</font></p>
<p><font size="+1">I install it and it looks fine and nice as
described. From now, I am using it in my working image to see
how it feels.<br>
</font></p>
<p><font size="+1">As Luciano suggested, we should all try to use it
to have more feedback to discover the most appropriate scenario
for the community.</font></p>
<p><font size="+1">Best</font></p>
<p><font size="+1">Hilaire</font><br>
</p>
<div class="moz-cite-prefix">Le 08/01/2022 à 16:43, Luciano
Notarfrancesco a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAL5GDyqOtyW8dD8N9Y0JAHYUcWyAO8oZYg3-ZYM=7NSiJUY8Tg@mail.gmail.com">
<div dir="ltr">Here's a new version with Hilaire's second proposal
and some fixes. It also renames four categories for consistency
with the rest of the system. It's not intended for integration
yet, at this point we're just playing with the idea. Anyone feel
free to play with this and change it in any way.</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Sat, Jan 8, 2022 at 11:12
AM Luciano Notarfrancesco <<a
href="mailto:luchiano@gmail.com" moz-do-not-send="true">luchiano@gmail.com</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>
<div dir="auto">Hi Hilaire,</div>
<div dir="auto">Good points. I think I like your second
proposal better… it’s simpler and it looks better in my
Domains project (and probably in DrGeo too). We should
experiment and see how it feels, I’ll start using it in my
image and see if I encounter any problems or annoyances.</div>
<div dir="auto"><br>
</div>
</div>
</blockquote>
</div>
</blockquote>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>