<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Le 08/08/2022 à 20:17, Juan Vuletich a
écrit :<br>
</div>
<blockquote type="cite" cite="mid:62F15341.1060700@cuis.st"> Hi
Hilaire, folks,<br>
<br>
I just pushed this. If anybody needs a custom menu title, let's
discuss.<br>
<br>
(inline)<br>
</blockquote>
<p>If a future need occurs, we can add a preference for the title. <br>
</p>
<p>Nevertheless, we can infer that if one wants to change the World
menu title, she may also want to change the World menu, and in
that case changing the World Menu class, and there the title can
be changed. That's why I removed the worldTitle method in the
preference class. <br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:62F15341.1060700@cuis.st"> <br>
On 8/8/2022 3:00 PM, Juan Vuletich via Cuis-dev wrote:
<blockquote cite="mid:62F14F5B.3040303@cuis.st" type="cite">
<meta content="text/html; charset=UTF-8"
http-equiv="Content-Type">
<blockquote
cite="mid:3728dc20-1623-4c97-d4ad-13bed1b3eb3e@free.fr"
type="cite"><br>
<p><font size="4">Btw, I did not find how to merge two change
set (or to complement a given change set). I think it is
not possible, right?</font></p>
</blockquote>
</blockquote>
<br>
Not possible right now. When doing these kinds of things, what I
do is to take the opportunity to review all the involved changes,
and select those I want in a new change set. This repeated review
of the code helps me do a better job.</blockquote>
<p>It is fine to keep the tool simple ;-).</p>
<p>Out of curiosity, how do you select the changes you want in a new
change set? By just touching, empty edit and save a method for
example ? Or do you have another way to do it?</p>
<p>Thanks</p>
<p>Hilaire<br>
</p>
<p><br>
</p>
<p><br>
</p>
<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>