<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>